Susan Potter

Put a Type On It: Idris Types as Propositions

Showing how Curry-Howard can be applied to structuring types to represent logical propositions.

• functional programming

• idris

• curry-howard