diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-16 15:25:02 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-16 15:25:02 +0100 |
| commit | cdcfdcd31ccfee2b2a491713b4527ca87dd586bf (patch) | |
| tree | ede7122da2d42d2c8d95eaa509e94fc269432407 /obs.ipkg | |
| parent | dc9aa0cc59d67690e7eba1543a37c397e751429a (diff) | |
Define term reduction.
Diffstat (limited to 'obs.ipkg')
| -rw-r--r-- | obs.ipkg | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -9,6 +9,7 @@ options = "--total" modules = Core.Declarative , Core.Environment + , Core.Reduction , Core.Term , Core.Term.Substitution , Core.Term.Thinned |