being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham
Primary LanguageAgdaBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause