diff options
| author | Alasdair Armstrong | 2019-02-04 20:06:49 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-02-04 20:06:49 +0000 |
| commit | a92a6573ea2d7cf88c1c7ac8dcc79a241aea0df7 (patch) | |
| tree | 6b488de9655563006a9d719a69d5800b9923323d /src/lem_interp/interp.lem | |
| parent | 4910e06ae9cf8f479c76fea39b4334407942da4e (diff) | |
Test lem output by running end-to-end tests using ocaml via lem
Diffstat (limited to 'src/lem_interp/interp.lem')
0 files changed, 0 insertions, 0 deletions