aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/program/licentia/input.lux
diff options
context:
space:
mode:
Diffstat (limited to 'licentia/source/program/licentia/input.lux')
-rw-r--r--licentia/source/program/licentia/input.lux30
1 files changed, 15 insertions, 15 deletions
diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux
index b92d0e52e..21de87b90 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 (.only do)]]
[control
- ["[0]" exception {"+" exception:}]
+ ["[0]" exception (.only exception:)]
["<>" parser
- ["<[0]>" json {"+" Parser}]]]
+ ["<[0]>" json (.only Parser)]]]
[data
[text
- ["%" format {"+" format}]]]
+ ["%" format (.only 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 (.only Identification
+ Termination
+ Liability
+ Distribution
+ Commercial
+ Extension
+ Entity Black_List
+ URL Attribution
+ Addendum
+ License)
+ ["[0]" time (.only Period)]
["[0]" copyright]]])
(def: identification