diff options
Diffstat (limited to 'stdlib/source/test/aedifex/artifact/type.lux')
-rw-r--r-- | stdlib/source/test/aedifex/artifact/type.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index e0d537c1b..00b483a75 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}]] [data - ["." text] + ["[0]" text] [collection - ["." set] - ["." list]]] + ["[0]" set] + ["[0]" list]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Type) |