diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/artifact/extension.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index 4a99544db..e9ecafe17 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." set] - ["." list]]] + ["[0]" set] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\program - ["." / - ["/#" // "_" - ["#" type]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" type]]]]) (def: .public test Test |