From 35c0807799717cd720ab28b35851c1a01a67445d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 7 Sep 2021 22:50:21 -0400 Subject: De-taggification | part 4 --- stdlib/source/test/aedifex/package.lux | 36 +++++++++++++++++----------------- 1 file changed, 18 insertions(+), 18 deletions(-) (limited to 'stdlib/source/test/aedifex/package.lux') diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index a7bc7d00a..61153b8ad 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -5,40 +5,40 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try]] + ["[0]" try]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text [encoding - ["." utf8]]] + ["[0]" utf8]]] [format - ["." xml {"+" [XML]}]] + ["[0]" xml {"+" [XML]}]] [collection - ["." set {"+" [Set]}]]] + ["[0]" set {"+" [Set]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] [world - ["." file]]]] + ["[0]" file]]]] [// - ["$." profile] + ["$[0]" profile] [// [lux [data - ["$." binary]]]]] + ["$[0]" binary]]]]] [\\program - ["." / - ["/#" // "_" - ["#" profile] - ["#." hash ("#\." equivalence)] - ["#." pom] + ["[0]" / + ["/[1]" // "_" + ["[1]" profile] + ["[1][0]" hash ("[1]\[0]" equivalence)] + ["[1][0]" pom] [dependency - ["#." status]] + ["[1][0]" status]] [repository - ["#." origin]]]]]) + ["[1][0]" origin]]]]]) (def: .public random (Random [//.Profile /.Package]) -- cgit v1.2.3