3 Коммитов

Автор	SHA1	Сообщение	Дата
ejackson	47cdfb6086	Modified results to enumerate derivations and proofs from non-ground ... goals.	2014-08-18 18:08:48 -07:00
ejackson	4c36dd0989	Added rule table optimizations. ... Added execution statistics. Changed printer for type expressions. Added "stats" command.	2014-04-09 10:17:15 -07:00
ejackson	9c9bb38021	Added lstLength function, made Guids sequential, updated test-cases	2014-03-11 15:09:22 -07:00