GenI-0.22: A natural language generator (specifically, an FB-LTAG surface realiser)
BoolExp
data BoolExp a Source
Constructors
check :: (a -> Bool) -> BoolExp a -> BoolSource