| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-03-24 | bugfix in the lProlog generator | krasimir | |
| 2010-03-24 | partial support for def-rules in the Lambda Prolog generation | krasimir | |
| 2010-03-24 | now for every category we store, in PGF, the list of functions for it in ↵ | krasimir | |
| source-code order. The order matters for the termination of the exhaustive generation with dependent types. | |||
| 2010-03-22 | produce optimized Lambda Prolog code | krasimir | |
| 2010-03-20 | added experimental generation of Lambda Prolog code. Could be used for ↵ | krasimir | |
| exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions. | |||
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |