diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 16:52:15 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 16:52:15 +0000 |
| commit | 43463df9899d00f0f86c3b655b84a5d5ce75402d (patch) | |
| tree | 4e77c2039149922d82f5df9e1434a72f8c7f88e3 /src/CC/Term/Raw.idr | |
| parent | 39d9c956a98a0aecb4e2913d3df0cc8eb0e78f69 (diff) | |
Extract parsing and evaluation to new modules.
Diffstat (limited to 'src/CC/Term/Raw.idr')
0 files changed, 0 insertions, 0 deletions