diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 16:43:28 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 16:43:28 +0000 |
| commit | 39d9c956a98a0aecb4e2913d3df0cc8eb0e78f69 (patch) | |
| tree | 730b8f6df443d9afb95365c279f307c08fdc04d5 /src/CC/Term/Eval.idr | |
| parent | b10fb1044d48fe75f0b77a4d592bf36121c692df (diff) | |
Extract term printer to new module.
Diffstat (limited to 'src/CC/Term/Eval.idr')
0 files changed, 0 insertions, 0 deletions