Problem: Real Numbers
Code: Real+Numbers/tails_1700453216
Nibbles version: 0.2 | 0.21 | 0.22 | 0.23 | 0.24 | 0.25 | 1.00
Format: Compact | Simple | +Type | Table | JSON | .nbl (DeBruijn) | .nbl (names)
Depth | Lit | Desc | Type | Arg | Let |
---|---|---|---|---|---|
0 | . | map | [[chr]] | ||
* 1 | , | range from 1 | [int] | ||
** 2 | $ | = fstInt | int | ||
* 1 | : | append | [chr] | A:int | |
** 2 | ; | save | [chr] | B:[chr] | |
*** 3 | "0." | string | [chr] | ||
** 2 | ^ | replicate | [chr] | ||
*** 3 | ;_ | = sndInt | int | ||
*** 3 | / | foldr1 | chr | ||
**** 4 |
| implicit arg = B | [chr] | ||
**** 4 |
| implicit arg = D | chr | D:chr C:chr |