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.
|