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/artifact/versioning.lux | |
parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) |
De-taggification | part 4
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/versioning.lux')
-rw-r--r-- | stdlib/source/program/aedifex/artifact/versioning.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index d2d702236..644af3fa1 100644 --- a/stdlib/source/program/aedifex/artifact/versioning.lux +++ b/stdlib/source/program/aedifex/artifact/versioning.lux @@ -5,29 +5,29 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}]] [control - ["." exception {"+" [exception:]}] + ["[0]" exception {"+" [exception:]}] ["<>" parser - ["<.>" xml {"+" [Parser]}] - ["<.>" text]]] + ["<[0]>" xml {"+" [Parser]}] + ["<[0]>" text]]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text ["%" format]] [format - ["." xml {"+" [XML]}]] + ["[0]" xml {"+" [XML]}]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math [number ["n" nat]]] - ["." time {"+" [Time]} - ["." date {"+" [Date]}] - ["." year] - ["." month]]]] - ["." // "_" - ["#." time] - ["#." snapshot {"+" [Snapshot]} - ["#/." version {"+" [Version]}]]]) + ["[0]" time {"+" [Time]} + ["[0]" date {"+" [Date]}] + ["[0]" year] + ["[0]" month]]]] + ["[0]" // "_" + ["[1][0]" time] + ["[1][0]" snapshot {"+" [Snapshot]} + ["[1]/[0]" version {"+" [Version]}]]]) (type: .public Versioning (Record |