david-christiansen / IdrisAtGalois2015Links

Slides and exercises for the Idris course taught at Galois
50Updated 10 years ago

Alternatives and similar repositories for IdrisAtGalois2015

Users that are interested in IdrisAtGalois2015 are comparing it to the libraries listed below

Sorting: