#

idris2

Here are 3 public repositories matching this topic...

joshuanianji / idris-2-docker

Multi-arch, multi-distro Docker images for Idris 2

docker devcontainer idris2

Updated Dec 13, 2024
Dockerfile

dgellow / idris-docker-image

Dockerfile and images for idris and idris2

docker dockerfile docker-image idris idris2

Updated Jun 9, 2021
Dockerfile

ccfontes / faas-idris2

An OpenFaaS template for writing Functions in Idris 2.

node idris pack openfaas idris2

Updated Apr 11, 2023
Dockerfile

Improve this page

Add a description, image, and links to the idris2 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the idris2 topic, visit your repo's landing page and select "manage topics."