"A tutorial implementation of dynamic pattern unification", modernised
https://adam.gundry.co.uk/pub/pattern-unify/
|
||
---|---|---|
.gitignore | ||
CHANGELOG.md | ||
Check.lhs | ||
Context.lhs | ||
Kit.lhs | ||
LICENSE | ||
README.txt | ||
Test.lhs | ||
Tm.lhs | ||
Unify.lhs | ||
patuni.cabal |
README.txt
This is the source code accompanying A tutorial implementation of dynamic pattern unification by Adam Gundry and Conor McBride 10th July 2012 The algorithm presented in the paper is in the file Unify.lhs. Look at the file Test.lhs to see how to invoke it (via GHCi). Note that a recent version of GHC is required, with the unbound-generics library.