| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-09-20 | change the data types and the syntax in PGF to match the new syntax for ↵ | krasimir | |
| implict arguments | |||
| 2009-09-11 | polish the PGF API and make Expr and Type abstract types. Tree is a type ↵ | krasimir | |
| synonym of Expr | |||
| 2009-09-06 | hopefully complete and correct typechecker in PGF | krasimir | |
| 2009-07-05 | PGF.Type.Hypo now can represent explicit and implicit arguments and argument ↵ | krasimir | |
| without bound variable | |||
| 2009-05-22 | some work on evaluation with abstract expressions in PGF | krasimir | |
| 2009-05-20 | refactor the PGF.Expr type and the evaluation of abstract expressions | krasimir | |
| 2008-11-17 | Fix in Prolog output of the atom "'" | peb | |
| 2008-09-25 | Changes to the prolog output format | peb | |
| 2008-09-03 | new PGF output format: prolog syntax | peb | |
| * 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 | |||
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |