diff options
author | Ohad Kammar <ohad.kammar@ed.ac.uk> | 2024-01-17 05:57:38 +0000 |
---|---|---|
committer | Ohad Kammar <ohad.kammar@ed.ac.uk> | 2024-01-17 05:57:38 +0000 |
commit | 72cae98fc978ae5981d13db1e66718eca14f3eda (patch) | |
tree | 4ead8b08db3e8227a7ba171499003d502fda7562 /soas.ipkg | |
parent | 1f9a29a6e9a0f536976084db4c4bd7c717401084 (diff) |
Refactor to support concrete names in support
Diffstat (limited to 'soas.ipkg')
-rw-r--r-- | soas.ipkg | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -13,10 +13,10 @@ authors = "Ohad Kammar" -- langversion -- packages to add to search path --- depends = +depends = contrib -- modules to install -modules = Soas +modules = SOAS -- main file (i.e. file to load at REPL) -- main = |