diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-05-23 17:50:46 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-05-23 17:50:46 +0100 |
| commit | 33962b22646787c3d4537989c4d5607e9ea046fa (patch) | |
| tree | 027a34d28721a9b7d22b94f1c9b235feb6382c9b /src/Term.idr | |
| parent | 09fe0f18d8f9ba681f6d1a57ceb8986db00eea8c (diff) | |
Merge mutual definitions into a single function.
This is really bad style, but a useful step in making a fuel-powered
stack-based interpreter.
Diffstat (limited to 'src/Term.idr')
0 files changed, 0 insertions, 0 deletions