CNP embedded in Haskell

This is an archival version of a CNP embedding in Haskell. Today it is entirely obsolete, replaced by the CombInduce project.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
Tests		Tests
.gitignore		.gitignore
CNP.hs		CNP.hs
Flattening.hs		Flattening.hs
Helpers.hs		Helpers.hs
LICENSE		LICENSE
Language.hs		Language.hs
Main.hs		Main.hs
README.md		README.md
Saturation.hs		Saturation.hs
Solver.hs		Solver.hs
Unification.hs		Unification.hs

Provide feedback