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.
adubovik/unifying-typechecker-arbitrary
Unifying description of type checker and Arbitrary-like producing logic.
Haskell