{-# LANGUAGE TypeOperators, EmptyDataDecls, NoMonomorphismRestriction #-} {-# LANGUAGE TypeFamilies, FlexibleInstances #-} -- Combinatorial Categorical Grammar (CCG) module CCG where import Prelude hiding ((/)) import Semantics -- Abstract an...
続きを読む