Posts

• Write You a Programming language for Computable Functions: Syntax Oct 11

• Reasoning with the HERMIT: Tool support for equational reasoning on GHC Core programs Feb 1