diff options
Diffstat (limited to '')
| -rw-r--r-- | licentia/source/program/licentia/input.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux index ebedde054..6a9db3bc4 100644 --- a/licentia/source/program/licentia/input.lux +++ b/licentia/source/program/licentia/input.lux @@ -2,31 +2,31 @@ [library [lux "*" [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - ["[0]" exception {"+" [exception:]}] + ["[0]" exception {"+" exception:}] ["<>" parser - ["<[0]>" json {"+" [Parser]}]]] + ["<[0]>" json {"+" Parser}]]] [data [text - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math [number ["n" nat] ["i" int] ["f" frac]]]]] ["[0]" // "_" - ["[1]" license {"+" [Identification - Termination - Liability - Distribution - Commercial - Extension - Entity Black_List - URL Attribution - Addendum - License]} - ["[0]" time {"+" [Period]}] + ["[1]" license {"+" Identification + Termination + Liability + Distribution + Commercial + Extension + Entity Black_List + URL Attribution + Addendum + License} + ["[0]" time {"+" Period}] ["[0]" copyright]]]) (def: identification |