"A tutorial implementation of dynamic pattern unification", modernised https://adam.gundry.co.uk/pub/pattern-unify/
Find a file
2024-06-23 18:03:32 +02:00
.gitignore first 2024-06-23 18:03:32 +02:00
CHANGELOG.md first 2024-06-23 18:03:32 +02:00
Check.lhs first 2024-06-23 18:03:32 +02:00
Context.lhs first 2024-06-23 18:03:32 +02:00
Kit.lhs first 2024-06-23 18:03:32 +02:00
LICENSE first 2024-06-23 18:03:32 +02:00
patuni.cabal first 2024-06-23 18:03:32 +02:00
README.txt first 2024-06-23 18:03:32 +02:00
Test.lhs first 2024-06-23 18:03:32 +02:00
Tm.lhs first 2024-06-23 18:03:32 +02:00
Unify.lhs first 2024-06-23 18:03:32 +02:00

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.