It's more efficient to concat the empty list

than to concate a non-empty list onto the empty list.
2023-08-10 21:45:40 -07:00 · 2023-08-10 21:45:40 -07:00 · a15ea2d355
parent 7c9663594b
commit a15ea2d355
1 changed files with 1 additions and 1 deletions
--- 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