diff options
| author | Marvin Borner | 2024-03-13 15:22:05 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-13 15:22:05 +0100 |
| commit | 004f853f260d321753af32318ecdeb2c585af7b0 (patch) | |
| tree | 9910e17715c0a94325d3e79014cb5b5368af46a2 /std/Number/Bruijn.bruijn | |
| parent | 7fc946443adcef9224a3c672b5929a93489c8c93 (diff) | |
Better string comparison using prefixed spaceship operator
Co-authored-by: JoJoBarthold2 <valentin.j.schmidt@web.de>
Diffstat (limited to 'std/Number/Bruijn.bruijn')
| -rw-r--r-- | std/Number/Bruijn.bruijn | 2 |
1 files changed, 0 insertions, 2 deletions
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]]] |