diff options
| author | Marvin Borner | 2024-03-25 16:21:54 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-25 16:21:54 +0100 |
| commit | f8398804d351667a7b887b89f6f70c7d5c407d22 (patch) | |
| tree | d33df8e6bbe60640beb9e99c778eb27b1aa77995 /std/Number.bruijn | |
| parent | 7bfc78b122ad9cbb65eed16f7de4d4021547c2a8 (diff) | |
More samples and definitions
Diffstat (limited to 'std/Number.bruijn')
| -rw-r--r-- | std/Number.bruijn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/std/Number.bruijn b/std/Number.bruijn index 25a1f6c..a99bc19 100644 --- a/std/Number.bruijn +++ b/std/Number.bruijn @@ -9,10 +9,10 @@ # the following functions are only here because of recursive imports of list/ternary # converts number to list of its digits -number→list [=?0 {}(+0) <~>(z [[[rec]]] empty 0)] ⧗ Number → (List Number) +number→list [=?0 {}(+0) (z [[[rec]]] empty 0)] ⧗ Number → (List Number) rec =?0 case-end case-rec case-rec &[[4 (0 : 3) 1]] (quot-rem 0 (+10)) - case-end empty + case-end 1 :test (number→list (+0)) ({}(+0)) |