/unifying-typechecker-arbitrary

Unifying description of type checker and Arbitrary-like producing logic.

Primary LanguageHaskell

Example of unifying description of type checker and Arbitrary-like producing logic.
Inspired by the paper "Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing".

Dependencies: logict package.

Run Test.main for demonstration.