diff options
author | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
commit | 35c0807799717cd720ab28b35851c1a01a67445d (patch) | |
tree | c6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/program/aedifex/profile.lux | |
parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) |
De-taggification | part 4
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/profile.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 93be5bb38..2e3dc3da3 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -5,17 +5,17 @@ [monoid {"+" [Monoid]}] [equivalence {"+" [Equivalence]}]] [control - ["." maybe ("#\." monoid)] - ["." exception {"+" [exception:]}]] + ["[0]" maybe ("[1]\[0]" monoid)] + ["[0]" exception {"+" [exception:]}]] [data - ["." product] - ["." text ("#\." equivalence)] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." dictionary {"+" [Dictionary]}] - ["." list ("#\." monoid)] - ["." set {"+" [Set]}]]] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" list ("[1]\[0]" monoid)] + ["[0]" set {"+" [Set]}]]] [macro - ["." template]] + ["[0]" template]] [world [net {"+" [URL]}] [file {"+" [Path]}]] @@ -25,10 +25,10 @@ [archive [descriptor {"+" [Module]}]]]]]]] [// - ["." runtime {"+" [Runtime]} ("#\." equivalence)] - ["." dependency {"+" [Dependency]} ("#\." equivalence)] - ["." artifact {"+" [Artifact]} - ["." type]] + ["[0]" runtime {"+" [Runtime]} ("[1]\[0]" equivalence)] + ["[0]" dependency {"+" [Dependency]} ("[1]\[0]" equivalence)] + ["[0]" artifact {"+" [Artifact]} + ["[0]" type]] [repository [remote {"+" [Address]}]]]) |