diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-15 17:07:32 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-15 17:07:32 +0100 |
| commit | 9e2bd48420feba7c7752fd98cdf10fb67f56edc8 (patch) | |
| tree | def22eb937657d68ee54e3ed7222ebb62fc1d9c5 /obs.ipkg | |
| parent | 5313058dcdd7252dbaa5615df2494368fe7c32f9 (diff) | |
Define declarative typing rules.
Diffstat (limited to 'obs.ipkg')
| -rw-r--r-- | obs.ipkg | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -7,7 +7,8 @@ depends = contrib options = "--total" modules - = Core.Environment + = Core.Declarative + , Core.Environment , Core.Term , Core.Term.Substitution , Core.Term.Thinned |