aboutsummaryrefslogtreecommitdiff
path: root/licentia
diff options
context:
space:
mode:
Diffstat (limited to 'licentia')
-rw-r--r--licentia/source/program/licentia.lux6
-rw-r--r--licentia/source/program/licentia/input.lux8
2 files changed, 8 insertions, 6 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux
index 11819681d..d736a5fa7 100644
--- a/licentia/source/program/licentia.lux
+++ b/licentia/source/program/licentia.lux
@@ -25,8 +25,7 @@
["[0]" maybe]
["[0]" try (.only Try)]
["[0]" parser
- ["<[0]>" cli]
- ["<[0]>" json]]
+ ["<[0]>" cli]]
[security
["!" capability]]]
[data
@@ -35,7 +34,8 @@
[encoding
["[0]" utf8]]]
[format
- ["[0]" json]]]
+ ["[0]" json (.only)
+ ["<[1]>" \\parser (.only Parser)]]]]
[world
["[0]" file]]]]
["[0]" /
diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux
index b11f1a576..aa63f81d7 100644
--- a/licentia/source/program/licentia/input.lux
+++ b/licentia/source/program/licentia/input.lux
@@ -5,11 +5,13 @@
[monad (.only do)]]
[control
["[0]" exception (.only exception:)]
- ["<>" parser
- ["<[0]>" json (.only Parser)]]]
+ ["<>" parser]]
[data
[text
- ["%" \\format (.only format)]]]
+ ["%" \\format (.only format)]]
+ [format
+ ["[0]" json
+ ["<[1]>" \\parser (.only Parser)]]]]
[math
[number
["n" nat]