Code and slides form my talk at NY Haskell
Switch branches/tags
Nothing to show
Latest commit 9564a5d Aug 29, 2013 @bitonic add presentation
Permalink
Failed to load latest commit information.
lambda0.agda final agda Aug 28, 2013
lambda1.agda ... Jul 17, 2013
lambda10.agda no modules Jul 30, 2013
lambda2.agda final agda Aug 28, 2013
lambda3.agda final agda Aug 28, 2013
lambda4.agda no modules Jul 30, 2013
lambda5.agda no modules Jul 30, 2013
lambda6.agda no modules Jul 30, 2013
lambda7.agda no modules Jul 30, 2013
lambda8.agda no modules Jul 30, 2013
lambda9.agda no modules Jul 30, 2013
presentation.pdf add presentation Aug 29, 2013