Language.Nominal.Properties.AllTests

Nominal-flavoured implementation of data in a context of local names, designed following the ideas in a new approach to abstract syntax with variable binding (see also author's pdfs).

Run tests by

• typing stack ghci AllTests from the command line in the directory containing AllTests.hs, then typing quickcheck prop_name from the Haskell prompt, or
• by typing stack test from the command line (e.g. in the root directory of this package).