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)
| (filter):[int] _ (= ints):[int] - (subtract):int <--arg( A:int ) $ (= A):int @ (= fstInt):int