diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 15:15:29 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2022-12-17 15:43:00 +0000 |
| commit | b882d95eb08fea2341bcfa6b41aa06e060cde1ec (patch) | |
| tree | 1d3bb2c9c150d612c16b7075ab7f3abb075e522a /obs.ipkg | |
| parent | d3f005bd8ba07b9b6d73e8eba9df4b9d9167cbd6 (diff) | |
Define abstract syntax.
Diffstat (limited to 'obs.ipkg')
| -rw-r--r-- | obs.ipkg | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -12,3 +12,4 @@ modules , Obs.Parser , Obs.Sort , Obs.Syntax + , Obs.Term |