Susan Potter
### talks  ·  Created  ·  Updated

Put a Type On It: Idris Types as Propositions

Strange Loop 2016 / September 2016 - St. Louis, MO

Abstract

TODO

Slides