diff options
Diffstat (limited to 'licentia/source/program/licentia/input.lux')
| -rw-r--r-- | licentia/source/program/licentia/input.lux | 8 |
1 files changed, 5 insertions, 3 deletions
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] |