diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/artifact/time.lux | 18 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/artifact/time/date.lux | 16 | ||||
-rw-r--r-- | stdlib/source/test/aedifex/artifact/time/time.lux | 10 |
3 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index a7d3f1463..9cfefe6f6 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" text]]] + ["<[0]>" text]]] [time - ["." instant ("#\." equivalence)]] + ["[0]" instant ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["i" int]]]]] [\\program - ["." /]] - ["." / "_" - ["#." date] - ["#." time]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" date] + ["[1][0]" time]]) (def: .public random (Random /.Time) diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 6762ed541..e76cf4259 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] - ["." exception] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception] [parser - ["<.>" text]]] + ["<[0]>" text]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]] [time - ["." date ("#\." equivalence)] - ["." year]]]] + ["[0]" date ("[1]\[0]" equivalence)] + ["[0]" year]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Date) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index d156d5f03..6351eca60 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -2,20 +2,20 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." time] + ["[0]" time] [abstract [monad {"+" [do]}]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" text]]] + ["<[0]>" text]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Time) |