Dependent Types: A Look At The Other Side
[03/27/10] Presented at Scottish Ruby Conference
See slides.md for source markdown (this includes extensive speaker notes hidden when viewed as a slideshow).
Can be viewed at http://localhost:9090
as a slideshow via:
sudo gem install showoff
git clone git://github.com/larrytheliquid/scotrubyconf.git
cd scotrubyconf
showoff serve
References
- Agda Wiki
- Dependently Typed Programming in Agda
- Dependent Types at Work
- Why Dependent Types Matter
- lemmatheultimate.com
"Real world" example
Lemmachine: Currently a private repo, but feel free to bookmark it for later