/core-to-isabelle

Translator from GHC Core to Isabelle/HOLCF

Primary LanguageEmacs Lisp

Watchers