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/project.lux | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'stdlib/source/program/aedifex/project.lux') diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index f497b499d..e7ed18148 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -4,19 +4,19 @@ [abstract [equivalence {"+" [Equivalence]}] [monoid {"+" [Monoid]}] - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." try {"+" [Try]}] - ["." exception {"+" [exception:]}]] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [exception:]}]] [data - ["." text + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." dictionary {"+" [Dictionary]}] - ["." set {"+" [Set]}] - ["." list ("#\." mix)]]]]] - ["." // "_" - ["#" profile {"+" [Name Profile]}]]) + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" set {"+" [Set]}] + ["[0]" list ("[1]\[0]" mix)]]]]] + ["[0]" // "_" + ["[1]" profile {"+" [Name Profile]}]]) (def: .public file "project.lux") -- cgit v1.2.3