From 69272f598d831e89da83bdc8c9290d5607dfb14d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 31 Oct 2020 20:26:37 -0400 Subject: Re-named the directory for my bookmarks to better reflect what they are. --- stdlib/source/test/lux/control/pipe.lux | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'stdlib/source/test/lux/control/pipe.lux') diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux index 1efc39cbc..247ae8be4 100644 --- a/stdlib/source/test/lux/control/pipe.lux +++ b/stdlib/source/test/lux/control/pipe.lux @@ -17,10 +17,10 @@ (def: #export test Test (<| (_.covering /._) - (do {@ random.monad} + (do {! random.monad} [sample random.nat] ($_ _.and - (do @ + (do ! [another random.nat] (_.cover [/.new>] (n.= (inc another) -- cgit v1.2.3