4 Commits

Author	SHA1	Message	Date
bringert	1a37e4f0fe	Overaloed resource API: added mod combinators for Det -> N -> NP and Det -> CN -> NP	2007-03-22 14:29:45 +00:00
aarne	ea4ffdc148	documented Combinators	2006-12-22 13:10:48 +00:00
aarne	a36758f56e	a logic library; fix in make mathematical	2006-11-26 17:14:20 +00:00
aarne	756b7708af	overloading API and examples	2006-11-18 21:10:46 +00:00