Put a Type On It: Idris Types as Propositions

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

If you enjoyed this content, please consider sharing via social media, following my accounts, or subscribing to the RSS feed.