Folly-0.1.5.0: A first order logic library in Haskell

Safe HaskellSafe
LanguageHaskell98

Folly.Unification

Documentation