aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/test/licentia.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-09-04 12:49:52 -0400
committerEduardo Julian2021-09-04 12:49:52 -0400
commitfc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (patch)
tree24858adac0e67228620b7e9166e3b7335be9fd5a /licentia/source/test/licentia.lux
parent891b1cfc82322f8017f0a4f6b707d6fe52024545 (diff)
De-taggification | part 2
Diffstat (limited to '')
-rw-r--r--licentia/source/test/licentia.lux32
1 files changed, 16 insertions, 16 deletions
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index 7238b6c71..e3204e598 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -1,10 +1,10 @@
(.module:
[library
- [lux #*
- [program (#+ program:)]
- ["_" test (#+ Test)]
+ [lux "*"
+ [program {"+" [program:]}]
+ ["_" test {"+" [Test]}]
[abstract
- [monad (#+ do)]]
+ [monad {"+" [do]}]]
[control
["." io]
["." maybe ("#\." functor)]]
@@ -14,22 +14,22 @@
[collection
["." list ("#\." functor)]]]
[math
- ["." random (#+ Random)]
+ ["." random {"+" [Random]}]
[number
["n" nat ("#\." interval)]]]]]
[\\program
["." output]
- ["." 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]
["." notice]
["." definition]