Edwin Brady has given a course on Dependently Typed Functional Programming in Idris at IT University, Copenhagen. Various course materials are now available:
Edwin Brady has given a course on Dependently Typed Functional Programming in Idris at IT University, Copenhagen. Various course materials are now available: