diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 16:02:33 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 17:37:02 +0000 |
| commit | e42f16505814d2995f771581424b2ebbfb402a49 (patch) | |
| tree | ee6797a67bb2cf0b39adbc4cbfc6a9cb8b562ec4 /obs.ipkg | |
| parent | 6b7f7a0ad56a9500f592180c7b7c91b2b6a9acb9 (diff) | |
Define normal form.
Diffstat (limited to 'obs.ipkg')
| -rw-r--r-- | obs.ipkg | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -10,6 +10,7 @@ main = Obs.Main modules = Obs.Abstract , Obs.Main + , Obs.NormalForm , Obs.Parser , Obs.Sort , Obs.Substitution |