diff options
| author | Kathy Gray | 2015-09-29 15:12:11 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-09-29 15:12:11 +0100 |
| commit | baaa30924d5e0ae758cefa7379e585ae5e202eaf (patch) | |
| tree | 9ef29207f2dc1104bab207c1b36f3f63a09a9526 /language/l2.lem | |
| parent | 7adb28800e349fdf57815bd0904e5f2aeedcf1a7 (diff) | |
ml output passing simple test suite, except for register aliases
Known todo:
Write library functions in ocaml
Properly upper-case/lower-case the first letter of names to conform to ocaml requirements
Handle register aliases
Turn id reads to dereferences for local ref variables
Diffstat (limited to 'language/l2.lem')
0 files changed, 0 insertions, 0 deletions