Put a Type On It: Idris Types as Propositions
Date: September 21, 2016
Last modified: September 21, 2016
Strange Loop 2016 / September 2016 - St. Louis, MO
Strange Loop 2016 / September 2016 - St. Louis, MO