kr.angelov 79bf7056f2 now the Python binding has an alternative representation for abstract trees which is composed of Python objects. The new representation is not integrated with the core runtime yet

2013-01-07 15:11:12 +00:00

..

c

a new reasoner in the C runtime. It supports tabling which makes it decideable for propositional logic. dependent types and high-order types are not supported yet. The generation is still in decreasing probability order

2013-01-07 12:50:32 +00:00

haskell

PGFService.hs: fix type error caused by change to PGF.graphvizParseTree

2012-11-22 15:27:16 +00:00

javascript

Improvements of "gf -server" mode and related setup

2011-10-12 17:03:54 +00:00

python

now the Python binding has an alternative representation for abstract trees which is composed of Python objects. The new representation is not integrated with the core runtime yet

2013-01-07 15:11:12 +00:00