WeberLogic-0.1.2: Logic interpreter
WeberLogic.Parser
data Letter Source
Constructors
Instances
data LogicExp Source
readExp :: String -> Either String LogicExpSource
readArg :: String -> Either String [LogicExp]Source