Proper-0.4.3.0: An implementation of propositional logic in Haskell
Proper.Utils
type Name = StringSource
data Error a Source
Constructors
Instances
extractValue :: Error a -> aSource