diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-06 16:41:11 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-06 16:41:11 +0100 |
| commit | fce659187d9e24e29ae23f7d8de078dcdc9dcfd4 (patch) | |
| tree | 4db6754bf4c28575ca1a4dc234e56b8fd3e178b4 /src/Core/Declarative.idr | |
| parent | 3c818e967c1a161fd424a3286b4b619176495e3d (diff) | |
Define Thinned terms.
This is to unify parts of Environment and Substition.
Diffstat (limited to 'src/Core/Declarative.idr')
0 files changed, 0 insertions, 0 deletions