diff options
| author | Thomas Bauereiss | 2018-01-23 19:51:39 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-01-23 19:53:17 +0000 |
| commit | 4ec26c81830b26957dfac205eb60b522890fb007 (patch) | |
| tree | bb862e4d9a08999ff96e360803e3630a5964624c /language/l2_parse.ott | |
| parent | c5db705ca228421b4035b4361aba9823750fd67c (diff) | |
Run tests for Lem shallow embedding
Uses the typechecker tests for now. Also fix two minor bugs in pretty-printer
and rewriter uncovered by the tests.
Diffstat (limited to 'language/l2_parse.ott')
0 files changed, 0 insertions, 0 deletions