diff options
| author | krasimir <krasimir@chalmers.se> | 2010-03-20 07:26:53 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-03-20 07:26:53 +0000 |
| commit | fba592ecf8f7a14b30f7bcef932f516396169ee9 (patch) | |
| tree | c66a04c1ef74b246b4655ee3a48304186a1e59bc /examples/tutorial/syntax | |
| parent | 973a0cacb7c2f68dfed29ff0dc355fdcebfef3ae (diff) | |
added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
Diffstat (limited to 'examples/tutorial/syntax')
0 files changed, 0 insertions, 0 deletions