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 --- .../source/program/aedifex/artifact/versioning.lux | 30 +++++++++++----------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'stdlib/source/program/aedifex/artifact/versioning.lux') diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index d2d702236..644af3fa1 100644 --- a/stdlib/source/program/aedifex/artifact/versioning.lux +++ b/stdlib/source/program/aedifex/artifact/versioning.lux @@ -5,29 +5,29 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}]] [control - ["." exception {"+" [exception:]}] + ["[0]" exception {"+" [exception:]}] ["<>" parser - ["<.>" xml {"+" [Parser]}] - ["<.>" text]]] + ["<[0]>" xml {"+" [Parser]}] + ["<[0]>" text]]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text ["%" format]] [format - ["." xml {"+" [XML]}]] + ["[0]" xml {"+" [XML]}]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math [number ["n" nat]]] - ["." time {"+" [Time]} - ["." date {"+" [Date]}] - ["." year] - ["." month]]]] - ["." // "_" - ["#." time] - ["#." snapshot {"+" [Snapshot]} - ["#/." version {"+" [Version]}]]]) + ["[0]" time {"+" [Time]} + ["[0]" date {"+" [Date]}] + ["[0]" year] + ["[0]" month]]]] + ["[0]" // "_" + ["[1][0]" time] + ["[1][0]" snapshot {"+" [Snapshot]} + ["[1]/[0]" version {"+" [Version]}]]]) (type: .public Versioning (Record -- cgit v1.2.3