Pinned Repositories
core-to-isabelle
Translator from GHC Core to Isabelle/HOLCF
DerivativeClicker
Github Pages hosted version of Derivative Clicker
matthews's Repositories
matthews/core-to-isabelle
Translator from GHC Core to Isabelle/HOLCF
matthews/DerivativeClicker
Github Pages hosted version of Derivative Clicker