From 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Sep 2021 15:39:55 -0400
Subject: Re-named \ => # && \\ => ##

---
 stdlib/source/test/aedifex/artifact/type.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/test/aedifex/artifact/type.lux')

diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index 00b483a75..7b19d6c57 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -10,7 +10,7 @@
       ["[0]" set]
       ["[0]" list]]]
     [math
-     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
+     ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]
      [number
       ["n" nat]]]]]
   [\\program
@@ -20,12 +20,12 @@
   (Random /.Type)
   ($_ random.either
       ($_ random.either
-          (random\in /.lux_library)
-          (random\in /.jvm_library))
+          (random#in /.lux_library)
+          (random#in /.jvm_library))
       ($_ random.either
-          (random\in /.pom)
-          (random\in /.md5)
-          (random\in /.sha-1))
+          (random#in /.pom)
+          (random#in /.md5)
+          (random#in /.sha-1))
       ))
 
 (def: .public test
-- 
cgit v1.2.3