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