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

reactivefinance/idris2 repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

Size

46 MB

Last updated

over 7 years ago

docker pull reactivefinance/idris2