diff options
Diffstat (limited to 'licentia/source/test/licentia.lux')
| -rw-r--r-- | licentia/source/test/licentia.lux | 64 |
1 files changed, 32 insertions, 32 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux index 8f967502a..4940b31eb 100644 --- a/licentia/source/test/licentia.lux +++ b/licentia/source/test/licentia.lux @@ -6,43 +6,43 @@ [abstract [monad {"+" [do]}]] [control - ["." io] - ["." maybe ("#\." functor)]] + ["[0]" io] + ["[0]" maybe ("[1]\[0]" functor)]] [data - ["." bit ("#\." equivalence)] - ["." text] + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["n" nat ("#\." interval)]]]]] + ["n" nat ("[1]\[0]" interval)]]]]] [\\program - ["." output] - ["." license {"+" [Identification - Termination - Liability - Distribution - Commercial - Extension - Entity Black_List - URL Attribution - Addendum - License]} - ["." time {"+" [Period]}] - ["." copyright] - ["." notice] - ["." definition] - ["." grant] - ["." limitation] - ["." submission] - ["." liability] - ["." distribution] - ["." commercial] - ["." extension] - ["." miscellaneous] - ["." black_list] - ["." addendum]]]) + ["[0]" output] + ["[0]" license {"+" [Identification + Termination + Liability + Distribution + Commercial + Extension + Entity Black_List + URL Attribution + Addendum + License]} + ["[0]" time {"+" [Period]}] + ["[0]" copyright] + ["[0]" notice] + ["[0]" definition] + ["[0]" grant] + ["[0]" limitation] + ["[0]" submission] + ["[0]" liability] + ["[0]" distribution] + ["[0]" commercial] + ["[0]" extension] + ["[0]" miscellaneous] + ["[0]" black_list] + ["[0]" addendum]]]) (def: period (Random (Period Nat)) |