Edwin Brady - Dependently Typed Functional Programming with Idris: Effect management [3/4] (2013)November 2018
Edwin Brady - Dependently Typed Functional Programming with Idris: Embedded DSLs [2/4] (2013)November 2018
Edwin Brady - Dependently Typed Functional Programming with Idris: Implementing Idris [4/4] (2013)November 2018
Edwin Brady - Dependently Typed Functional Programming with Idris: Introduction [1/4] (2013)November 2018