david-christiansen / IdrisAtGalois2015Links

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

Alternatives and similar repositories for IdrisAtGalois2015

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

Sorting: