Archive

Archive for August, 2013

Dependently-Typed Metaprogramming (in Agda)

August 30th, 2013 08:34 View Comments