diff options
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]]] |