liboleg-2010.1.10.0: An evolving collection of Oleg Kiselyov's Haskell modules
Lambda.CFG4
Description
Unifying syntax with semantics
data S Source
Instances
data NP Source
data VP Source
data TV Source
class Symantics repr whereSource
Methods
john :: repr NPSource
mary :: repr NPSource
like :: repr TVSource
r2 :: repr TV -> repr NP -> repr VPSource
r1 :: repr NP -> repr VP -> repr SSource
data EN a Source
Constructors
Fields
type family Tr a :: *Source
data Sem a Source
data Entity Source