liboleg-2010.1.10.0: An evolving collection of Oleg Kiselyov's Haskell modules
Lambda.CFG3Sem
Description
Type functions: interpretations of the type constants
http://okmij.org/ftp/gengo/NASSLLI10/
data S Source
Instances
data NP Source
data VP Source
data TV Source
type family Tr a :: *Source
data Sem a Source
Constructors
Fields
data Entity Source
mary :: Sem NPSource
john :: Sem NPSource
like :: Sem TVSource
r2 :: Sem TV -> Sem NP -> Sem VPSource
r1 :: Sem NP -> Sem VP -> Sem SSource
sentence :: Sem SSource