Idris course at ITU, slides and video

This week I’ve been giving a course on Dependently Typed Functional Programming in Idris at IT University, Copenhagen. Various course materials are available:

Posted March 15, 2013 by edwinb in Dependent Types, Idris, Talks

Follow

Get every new post delivered to your Inbox.

%d bloggers like this: