9 Commits

Author	SHA1	Message	Date
krasimir	b1a51f46f5	change the data types and the syntax in PGF to match the new syntax for implict arguments	2009-09-20 11:43:41 +00:00
krasimir	1cdf171251	polish the PGF API and make Expr and Type abstract types. Tree is a type synonym of Expr	2009-09-11 13:45:34 +00:00
krasimir	b97d6abb81	hopefully complete and correct typechecker in PGF	2009-09-06 20:31:52 +00:00
krasimir	279ff9a6d2	PGF.Type.Hypo now can represent explicit and implicit arguments and argument without bound variable	2009-07-05 15:44:52 +00:00
krasimir	41b263cf6a	some work on evaluation with abstract expressions in PGF	2009-05-22 18:54:51 +00:00
krasimir	7db4b641ce	refactor the PGF.Expr type and the evaluation of abstract expressions	2009-05-20 21:03:56 +00:00
peb	7babe205e8	Fix in Prolog output of the atom "'"	2008-11-17 13:33:53 +00:00
peb	b5ae83f899	Changes to the prolog output format	2008-09-25 07:32:39 +00:00
peb	74826158cb	new PGF output format: prolog syntax ... * output a PGF grammar in prolog readable syntax * variables in abstract syntax (hypotheses and lambda-abstractions) are translated to unique logical variables * PGF terms in concrete syntax are translated to more prolog-like terms	2008-09-03 09:04:09 +00:00