https://github.com/remexre/idris-group

Stuff related to the UMN plseminar going through Type-Driven Development in Idris in Fall 2019.
https://github.com/remexre/idris-group

idris plseminar

Last synced: 11 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/remexre/idris-group
• Owner: remexre
• Created: 2019-09-19T01:59:19.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-10-31T05:08:47.000Z (about 5 years ago)
• Last Synced: 2024-11-05T13:19:01.323Z (about 2 months ago)
• Topics: idris, plseminar
• Language: Idris
• Size: 10.7 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
idris-group

===========

Stuff related to the UMN plseminar going through [Type-Driven Development in Idris](https://www.manning.com/books/type-driven-development-with-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.