Folly-0.1.5.2: A first order logic library in Haskell
Folly.Utils
type Name = String Source
data Error a Source
Constructors
Instances
extractValue :: Error a -> a Source