diff options
| author | Marvin Borner | 2023-03-05 23:53:54 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-03-05 23:53:54 +0100 |
| commit | 7a35dd8650535d1d31c8b152e1074d6f1ebcf8ad (patch) | |
| tree | ebd3ea54f23f53b08e9e44d8a7e627b86cf98575 /std/Number/Binary.bruijn | |
| parent | 626e9d9f062230e97d764660a8d0d1c8c05b9fcb (diff) | |
Switched to prefixed listification
Diffstat (limited to 'std/Number/Binary.bruijn')
| -rw-r--r-- | std/Number/Binary.bruijn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/std/Number/Binary.bruijn b/std/Number/Binary.bruijn index 2f0fbce..2900414 100644 --- a/std/Number/Binary.bruijn +++ b/std/Number/Binary.bruijn @@ -47,7 +47,7 @@ list! [0 z a¹ a⁰] ⧗ Binary → (List Bit) a⁰ [b⁰ : 0] :test (list! (+0b)) (empty) -:test (list! (+6b)) (b⁰ : (b¹ : (b¹ : empty))) +:test (list! (+6b)) (b⁰ : (b¹ : {}b¹)) # converts a list of bits to a binary number binary! foldr up (+0b) ⧗ (List Bit) → Binary |