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

If you enjoyed this content, please consider sharing this link with a friend, following my GitHub, Twitter/X or LinkedIn accounts, or subscribing to my RSS feed.