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 --- .../source/program/aedifex/repository/remote.lux | 30 +++++++++++----------- 1 file changed, 15 insertions(+), 15 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 af9613db7..00ac66517 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -1,34 +1,34 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - ["." io (#+ IO)] - ["." try (#+ Try)] - ["." exception (#+ exception:)]] + ["." io {"+" [IO]}] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}]] [data ["." product] [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [tool [compiler ["." version] - ["." language #_ - ["#/." lux #_ + ["." language "_" + ["#/." lux "_" ["#" version]]]]] [world - [net (#+ URL) - [uri (#+ URI)] - ["." http #_ + [net {"+" [URL]} + [uri {"+" [URI]}] + ["." http "_" ["#" client] ["#/." status] ["@#" /]]]]]] ["." // - ["#." identity (#+ Identity)] - ["/#" // #_ - ["#." artifact (#+ Version Artifact) - [extension (#+ Extension)]]]]) + ["#." identity {"+" [Identity]}] + ["/#" // "_" + ["#." artifact {"+" [Version Artifact]} + [extension {"+" [Extension]}]]]]) (type: .public Address URL) -- cgit v1.2.3