diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 15:41:36 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 15:41:36 +0000 |
| commit | dc600f47e15ff59a46890ca32e5571e24ce00983 (patch) | |
| tree | bd34d0a041737e998924540efe8010f41fc153e6 /src/CC/Term/Raw.idr | |
| parent | 2af2175f6b633f717c0fb64e05310a294fe168a8 (diff) | |
Extract Terms and Values to a new module.
Diffstat (limited to 'src/CC/Term/Raw.idr')
0 files changed, 0 insertions, 0 deletions