liboleg-2010.1.10.0: An evolving collection of Oleg Kiselyov's Haskell modules

Lambda.CFG2Sem

Description

http://okmij.org/ftp/gengo/NASSLLI10/

Synopsis

Documentation

data Entity Source

CFG1Sem with type annotations

Constructors

John
Mary

Instances

Eq Entity
Show Entity

mary :: Entity Source

john :: Entity Source

like :: Entity -> Entity -> Bool Source

r2 :: (Entity -> Entity -> Bool) -> Entity -> Entity -> Bool Source

r1 :: Entity -> (Entity -> Bool) -> Bool Source

sentence :: Bool Source

A new notation for like (which will be convenient later)