From a15ea2d3552d06d08295ad9cbb443cb92117d5d7 Mon Sep 17 00:00:00 2001 From: sforman Date: Thu, 10 Aug 2023 21:45:40 -0700 Subject: [PATCH] It's more efficient to concat the empty list than to concate a non-empty list onto the empty list. --- implementations/defs.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/implementations/defs.txt b/implementations/defs.txt index 6702daf..f85e92a 100644 --- a/implementations/defs.txt +++ b/implementations/defs.txt @@ -61,7 +61,7 @@ mod % neg 0 swap - not [true] [false] branch nulco [nullary] cons -null [] concat bool not +null [] swap concat bool not nullary [stack] dinfrirst of swap at over [dup] dip swap