This website is out of date, please refer to the site on github.

Posts tagged "agda"

Introduction to Dependent Types: Off, Off to Agda Land - September 21, 2014
Some Useful Agda - June 28, 2014
Some Fun Dependently Typed Programs - December 24, 2013