Introductory Talk About Dependent Types and Idris
Details
David Christiansen, (http://itu.dk/people/drc/) one of the main developers of Idris (http://www.idris-lang.org/) will be giving an introductory talk about Dependent types and Idris.
David Christiansen, (http://itu.dk/people/drc/) one of the main developers of Idris (http://www.idris-lang.org/) will be giving an introductory talk about Dependent types and Idris.