diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 15:35:43 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 15:35:43 +0000 |
| commit | 2af2175f6b633f717c0fb64e05310a294fe168a8 (patch) | |
| tree | c32c165feba9d28551351e157dbbb84329ee05d5 /src/CC/Term.idr | |
| parent | b97d796c45a4ffdb475c03330c62ff8be2911d85 (diff) | |
Extract Name to a new module.
Diffstat (limited to 'src/CC/Term.idr')
0 files changed, 0 insertions, 0 deletions