diff options
| author | Prashanth Mundkur | 2018-05-03 15:47:03 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-05-03 15:48:01 -0700 |
| commit | e3b5d15bf2f48449fd43029fa1e0ca9270ec481d (patch) | |
| tree | 7bc7a6efe312648b67f5d512858095a8306cc070 /src/lem_interp/interp.lem | |
| parent | c4af140507927c924065c5d32235f258b200a203 (diff) | |
Simplify the top-level execute loop using the step function.
Diffstat (limited to 'src/lem_interp/interp.lem')
0 files changed, 0 insertions, 0 deletions