idris-hackers / idris-cph-exercises Goto Github PK
View Code? Open in Web Editor NEWExercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
License: BSD 3-Clause "New" or "Revised" License