diff options
Diffstat (limited to 'learn/core.sdm')
-rw-r--r-- | learn/core.sdm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/learn/core.sdm b/learn/core.sdm index e69df44..6979b86 100644 --- a/learn/core.sdm +++ b/learn/core.sdm @@ -131,4 +131,6 @@ module core learn <https://purl.org/learn/core#> is shapesAction -> Action end + structure Space + end |