idris-group

Branch Chooser Goes Here
Clone URL: https://foundry.remexre.xyz/projects/idris-group.git
README.md Initial commit 5 months ago
docker-idris Initial commit 5 months ago
docker Initial commit 5 months ago

idris-group

Stuff related to the UMN plseminar going through Type-Driven Development in Idris in Fall 2019.

docker-idris

To make installing Idris easier, there’s a docker-idris script that puts you in bash inside a Docker container with Idris preinstalled to /usr/local/bin, mounting /home into the container.