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/program/aedifex/format.lux | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'stdlib/source/program/aedifex/format.lux') diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux index f6b737fdf..3f626f0e2 100644 --- a/stdlib/source/program/aedifex/format.lux +++ b/stdlib/source/program/aedifex/format.lux @@ -2,21 +2,21 @@ [library [lux "*" [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." dictionary {"+" [Dictionary]}] - ["." list ("#\." monad)] - ["." set {"+" [Set]}]]] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" list ("[1]\[0]" monad)] + ["[0]" set {"+" [Set]}]]] [macro - ["." code] - ["." template]]]] - ["." // "_" + ["[0]" code] + ["[0]" template]]]] + ["[0]" // "_" ["/" profile] - ["#." runtime {"+" [Runtime]}] - ["#." project {"+" [Project]}] - ["#." dependency {"+" [Dependency]}] - ["#." artifact {"+" [Artifact]} - ["#/." type]]]) + ["[1][0]" runtime {"+" [Runtime]}] + ["[1][0]" project {"+" [Project]}] + ["[1][0]" dependency {"+" [Dependency]}] + ["[1][0]" artifact {"+" [Artifact]} + ["[1]/[0]" type]]]) (type: .public (Format a) (-> a Code)) -- cgit v1.2.3