Haskell implementation of term nets, a data structure for rewrite rules.
Haskell implementation of term nets, a data structure for rewrite rules.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script