raichoo

• Dynamic Presentation Playlist

Presentations:

• 2014-12-28 14:00 - 31C3 (2014) - Programming with dependent types in Idris