Report copyright - Dependently Typed Functional Programming with Idris · 2015-10-29 · Why Idris? There are several dependently typed languages available (e.g. Agda, Coq, Epigram, ...). Why did I
Please pass captcha verification before submit form
Please pass captcha verification before submit form