liboleg-2010.1.9.0: An evolving collection of Oleg Kiselyov's Haskell modules
Lambda.CFG2Sem
Description
http://okmij.org/ftp/gengo/NASSLLI10/
Synopsis
data Entity Source
CFG1Sem with type annotations
Constructors
Instances
mary :: EntitySource
john :: EntitySource
like :: Entity -> Entity -> BoolSource
r2 :: (Entity -> Entity -> Bool) -> Entity -> Entity -> BoolSource
r1 :: Entity -> (Entity -> Bool) -> BoolSource
sentence :: BoolSource
A new notation for like (which will be convenient later)
like