diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-31 17:56:26 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-31 17:56:26 +0100 |
| commit | 24396b75ee44aab09ec3e2adce865d0eab396787 (patch) | |
| tree | bb484a81d97ccf2184fb50b7c6a16180689dd28c /src/Core/Term/Environment.idr | |
| parent | ce28d5e9e6bc72b3af63a895544fae3e5dd69e6b (diff) | |
Define Term substitution.
Diffstat (limited to 'src/Core/Term/Environment.idr')
0 files changed, 0 insertions, 0 deletions