From a96de50e7f3bd3f40cd119ab94195db4c8796e86 Mon Sep 17 00:00:00 2001 From: booniepepper Date: Mon, 10 Jul 2023 23:48:41 -0700 Subject: [PATCH] Fix joy combinator script --- demos/joy-combinators.dt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/demos/joy-combinators.dt b/demos/joy-combinators.dt index 2ea968c..0c3e88c 100755 --- a/demos/joy-combinators.dt +++ b/demos/joy-combinators.dt @@ -73,7 +73,7 @@ [[ds cs bs as]: ds cs cons as i - ds bs i]: \s' def + ds bs i] \s' def [[ds cs bs as]: cs ds as cons cons @@ -91,4 +91,8 @@ "dt " p version pl "(With Joy combinators)" pl -using-joy-combinators repl + +using-joy-combinators + +repl +