rhi
/
patuni
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
"A tutorial implementation of dynamic pattern unification", modernised https://adam.gundry.co.uk/pub/pattern-unify/
1 Commit 1 Branch 0 Tags 52 KiB
Haskell 100%
Go to file
rhiannon morris cb58d03b28 first 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
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
patuni.cabal first 2024-06-23 18:03:32 +02:00

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.