Susan Potter

idris

talks

Put a Type On It: Idris Types as Propositions

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

software

To Type or not to Static Type

Originally published as a Gist here: https://gist.github.com/mbbx6spp/60577af8dc4106d6e710cd804292ce20 Minor modifications in formatting and an extra line of no-judgement was added to this text from the original Gist. Purpose, Disclaimer and Confessions This is the (mostly) no …