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 /obs.ipkg | |
| parent | ce28d5e9e6bc72b3af63a895544fae3e5dd69e6b (diff) | |
Define Term substitution.
Diffstat (limited to 'obs.ipkg')
| -rw-r--r-- | obs.ipkg | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -11,5 +11,6 @@ modules , Core.Name , Core.Term , Core.Term.Environment + , Core.Term.Substitution , Core.Thinning , Core.Var |