Report - Epigram: Practical Programming with Dependent Typescs.ru.nl/F.Wiedijk/courses/tt-2010/tvftl/epigram-notes.pdf · Programming with these ‘fake’ dependent types is an entertaining

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form