From fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 4 Sep 2021 12:49:52 -0400 Subject: De-taggification | part 2 --- licentia/source/test/licentia.lux | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) (limited to 'licentia/source/test/licentia.lux') 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] -- cgit v1.2.3