diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/project.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index 2e7eab542..94e61bd7c 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -5,24 +5,24 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" monoid]]] [control - ["." try ("#\." functor)] - ["." exception]] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception]] [data - ["." product] - ["." text ("#\." equivalence)]] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [// - ["@." profile]] + ["@[0]" profile]] [\\program - ["." / - ["/#" // "_" - ["#" profile]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" profile]]]]) (def: profile (Random [//.Name //.Profile]) |