diff options
Diffstat (limited to 'stdlib/source/program/aedifex/artifact/snapshot.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/artifact/snapshot.lux | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux index 8f06a3817..db9fa0891 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot.lux @@ -1,19 +1,19 @@ (.using - [library - [lux {"-" Type} - [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] - [control - ["<>" parser - ["<[0]>" xml {"+" Parser}] - ["<[0]>" text]]] - [data - ["[0]" sum] - [format - ["[0]" xml {"+" XML}]]]]] - ["[0]" / "_" - ["[1][0]" stamp {"+" Stamp}]]) + [library + [lux {"-" Type} + [abstract + [equivalence {"+" Equivalence}] + [monad {"+" do}]] + [control + ["<>" parser + ["<[0]>" xml {"+" Parser}] + ["<[0]>" text]]] + [data + ["[0]" sum] + [format + ["[0]" xml {"+" XML}]]]]] + ["[0]" / "_" + ["[1][0]" stamp {"+" Stamp}]]) (type: .public Snapshot (Variant @@ -28,10 +28,10 @@ (def: .public equivalence (Equivalence Snapshot) - ($_ sum.equivalence - ..any_equivalence - /stamp.equivalence - )) + (all sum.equivalence + ..any_equivalence + /stamp.equivalence + )) (template [<definition> <tag>] [(def: <definition> xml.Tag ["" <tag>])] |