Commit Graph

6 Commits

Author SHA1 Message Date
aarne
d01dfff9d3 overload checking and messages; resource.txt modifs 2007-05-31 09:58:38 +00:00
bringert
6633024433 Added overloaded negation to Combinators. 2007-04-21 09:38:52 +00:00
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