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/repository/remote.lux | 32 +++++++++++----------- 1 file changed, 16 insertions(+), 16 deletions(-) (limited to 'stdlib/source/program/aedifex/repository/remote.lux') diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index ea8952bef..69fd9c255 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -4,30 +4,30 @@ [abstract [monad {"+" [do]}]] [control - ["." io {"+" [IO]}] - ["." try {"+" [Try]}] - ["." exception {"+" [exception:]}]] + ["[0]" io {"+" [IO]}] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [exception:]}]] [data - ["." product] + ["[0]" product] [text ["%" format {"+" [format]}]]] [tool [compiler - ["." version] - ["." language "_" - ["#/." lux "_" - ["#" version]]]]] + ["[0]" version] + ["[0]" language "_" + ["[1]/[0]" lux "_" + ["[1]" version]]]]] [world [net {"+" [URL]} [uri {"+" [URI]}] - ["." http "_" - ["#" client] - ["#/." status] - ["@#" /]]]]]] - ["." // - ["#." identity {"+" [Identity]}] - ["/#" // "_" - ["#." artifact {"+" [Version Artifact]} + ["[0]" http "_" + ["[1]" client] + ["[1]/[0]" status] + ["@[1]" /]]]]]] + ["[0]" // + ["[1][0]" identity {"+" [Identity]}] + ["/[1]" // "_" + ["[1][0]" artifact {"+" [Version Artifact]} [extension {"+" [Extension]}]]]]) (type: .public Address -- cgit v1.2.3