diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 17:13:16 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 17:13:16 +0000 |
| commit | 88ce0ee4ed72f75775da9c96668cad3e97554812 (patch) | |
| tree | 3215beb5d715cd4ab9be5128ccbbe6cdfed796fa /src/CC/Term/Eval.idr | |
| parent | 43463df9899d00f0f86c3b655b84a5d5ce75402d (diff) | |
Clean-up raw term constructors and parser.
Diffstat (limited to 'src/CC/Term/Eval.idr')
0 files changed, 0 insertions, 0 deletions