Problem: greater than N
Code: greater+than+N/tails_1644977004
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 | | | filter | [int] | ||
* 1 | _ | = ints | [int] | ||
* 1 | - | subtract | int | A:int | |
** 2 | $ | = A | int | ||
** 2 | @ | = fstInt | int |