Input Expression Generators

Code corresponding to a research paper tackling the issue of checking interpreter equivalence using property-based testing frameworks.

Haskell

Cabal