Problem: Sign of permutations
Code: Sign+of+permutations/tails_1643893872
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 | `* | product | int | ||
* 1 | . | map | [int] | ||
** 2 | `_ | subsequences | [[int]] | ||
*** 3 | ~ | auto = 2 | auto | ||
*** 3 | _ | = ints | [int] | ||
** 2 | / | foldr1 | int | A:[int] | |
*** 3 | $ | = A | [int] | ||
*** 3 | `$ | signum | int | C:int B:int | |
**** 4 | - | subtract | int | ||
***** 5 | @ | = B | int | ||
***** 5 |
| implicit arg = C | int |