From 5d44577c3849a045052dc1c9f0dd7deddd032120 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 1 Jun 2022 21:52:34 -0400 Subject: Extensible import syntax: Part 1 --- .../program/aedifex/artifact/snapshot/build.lux | 34 +++++++++++----------- 1 file changed, 17 insertions(+), 17 deletions(-) (limited to 'stdlib/source/program/aedifex/artifact/snapshot/build.lux') diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux index fbf89fc55..f4b863522 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux @@ -1,21 +1,21 @@ (.using - [library - [lux "*" - [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] - [control - ["<>" parser - ["<[0]>" xml {"+" Parser}] - ["<[0]>" text]]] - [data - [text - ["%" format]] - [format - ["[0]" xml {"+" XML}]]] - [math - [number - ["[0]" nat]]]]]) + [library + [lux "*" + [abstract + [equivalence (.only Equivalence)] + [monad (.only do)]] + [control + ["<>" parser + ["<[0]>" xml (.only Parser)] + ["<[0]>" text]]] + [data + [text + ["%" format]] + [format + ["[0]" xml (.only XML)]]] + [math + [number + ["[0]" nat]]]]]) (type: .public Build Nat) -- cgit v1.2.3