12 lines
354 B
Plaintext
12 lines
354 B
Plaintext
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.
|