From 004f853f260d321753af32318ecdeb2c585af7b0 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Wed, 13 Mar 2024 15:22:05 +0100 Subject: Better string comparison using prefixed spaceship operator Co-authored-by: JoJoBarthold2 --- std/Number/Bruijn.bruijn | 2 -- 1 file changed, 2 deletions(-) (limited to 'std/Number/Bruijn.bruijn') diff --git a/std/Number/Bruijn.bruijn b/std/Number/Bruijn.bruijn index 744d9a1..131a1a3 100644 --- a/std/Number/Bruijn.bruijn +++ b/std/Number/Bruijn.bruijn @@ -4,8 +4,6 @@ # Wadsworth, Christopher. "Some unusual λ-calculus numeral systems." # very sad indeed -:import std/Combinator . - # increments De Bruijn numeral inc [[[2 1]]] -- cgit v1.2.3