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.


To Type or not to Static Type

Originally published as a Gist here: 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 nonesense guide to studies and research that measures and/or compares a variety …