being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham
nebasuke / mgs14 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pigworker/mgs14
being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham
License: BSD 3-Clause "New" or "Revised" License