Susan Potter
About
Talks
Software
Snippets
Put a Type On It: Idris Types as Propositions
Wed September 9, 2016
Strange Loop 2016 / September 2016 - St. Louis, MO
Abstract
TODO
Slides