diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 16:15:51 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 16:15:51 +0000 |
| commit | 0225730f5461e693386031a8f06085d2354d6537 (patch) | |
| tree | 94929f78a1df48e30c809003f212e1f28514667f /src/CC/Term/Parse.idr | |
| parent | dc600f47e15ff59a46890ca32e5571e24ce00983 (diff) | |
Extract thinnings to a new module.
Also make the interface more abstract, so more efficient representations
can be swapped in with less cost.
Diffstat (limited to 'src/CC/Term/Parse.idr')
0 files changed, 0 insertions, 0 deletions