nomeata / ghc-core-smallstep

A small-step semantics for Core
9Updated 4 years ago

Alternatives and similar repositories for ghc-core-smallstep:

Users that are interested in ghc-core-smallstep are comparing it to the libraries listed below