Sign inSign up

reactivefinance/idris2

By reactivefinance

•Updated over 7 years ago

Docker image for Idris 2, the functional programming language with dependent types

Image
0

339

Tags for reactivefinance/idris2

Sort by

TAG

latest

Last pushed over 7 years by phaener

docker pull reactivefinance/idris2:latest
DigestOS/ARCHCompressed size

b8d0f4ecfac4

linux/amd64

46.04 MB

TAG

0.0.1

Last pushed over 7 years by phaener

docker pull reactivefinance/idris2:0.0.1
DigestOS/ARCHCompressed size

b8d0f4ecfac4

linux/amd64

46.04 MB