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