diff options
author | Eduardo Julian | 2022-06-16 02:16:07 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-16 02:16:07 -0400 |
commit | e00e0b5f1e5fb509cf8f32424397110f524b8148 (patch) | |
tree | ad15496975ea945d5f8fb2c795414d561561d2b6 /licentia/source/program/licentia/input.lux | |
parent | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (diff) |
New "parser" hierarchy. [Part 3]
Diffstat (limited to '')
-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] |