reactivefinance/idris

•Updated over 7 years ago

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

Image

1.2K

Tags for reactivefinance/idris

Sort by

TAG

latest

Last pushed over 7 years by reactivefinance

docker pull reactivefinance/idris:latest

Digest	OS/ARCH	Compressed size
cc990a106ca4	linux/amd64	76.14 MB

TAG

1.3.2

Last pushed over 7 years by reactivefinance

docker pull reactivefinance/idris:1.3.2

Digest	OS/ARCH	Compressed size
cc990a106ca4	linux/amd64	76.14 MB

TAG

1.3.1

Last pushed almost 8 years by reactivefinance

docker pull reactivefinance/idris:1.3.1

Digest	OS/ARCH	Compressed size
64ef5e912024	linux/amd64	71.42 MB

TAG

1.3.0

Last pushed over 8 years by reactivefinance

docker pull reactivefinance/idris:1.3.0

Digest	OS/ARCH	Compressed size
fce2e9f0cf98	linux/amd64	80.07 MB

TAG

v1.1.1

Last pushed about 9 years by phaener

docker pull reactivefinance/idris:v1.1.1

Digest	OS/ARCH	Compressed size
60c87b08002e	linux/amd64	363.89 MB