diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 17:36:21 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 17:37:02 +0000 |
| commit | 6b7f7a0ad56a9500f592180c7b7c91b2b6a9acb9 (patch) | |
| tree | 947b70d49e4c0532ff57d1c46ce40456ba258bcb /obs.ipkg | |
| parent | 232857131888607ee3cd2ae4a5ccdc14e0c6f015 (diff) | |
Define substitution interfaces.
Diffstat (limited to 'obs.ipkg')
| -rw-r--r-- | obs.ipkg | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -12,5 +12,6 @@ modules , Obs.Main , Obs.Parser , Obs.Sort + , Obs.Substitution , Obs.Syntax , Obs.Term |