Talks

A (non-exhaustive!) selection of recently recorded conference talks:

From the Oregon Programming Languages Summer School 2017, "Dependent Types in the Idris Programming Language":


© Edwin Brady Powered by Pelican and Twitter Bootstrap. Icons by Font Awesome and Font Awesome More