Problem: Range Analysis
Code: Range+Analysis/tails_1660714034
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 | | implicit string concatenation | [chr] | ||
| * 1 | | implicit string concatenation | [chr] | ||
| ** 2 | | implicit string concatenation | [chr] | ||
| *** 3 | | implicit string concatenation | [chr] | ||
| **** 4 | "range(" | string | [chr] | ||
| **** 4 | `( | uncons | int | B:[int] | |
| ***** 5 | `< | sort | [int] | ||
| ****** 6 | . | map | [int] | ||
| ******* 7 | `* | nary cartesian product | [[int]] | ||
| ******** 8 | `/ | chunks of | [[int]] | ||
| ********* 9 | ~ | auto = 2 | auto | ||
| ********* 9 | _ | = ints | [int] | ||
| ******* 7 | `* | product | int | A:[int] | |
| ******** 8 | $ | = A | [int] | ||
| *** 3 | "," | string | [chr] | ||
| ** 2 | / | foldr1 | int | ||
| *** 3 | $ | = B | [int] | ||
| *** 3 | @ | = C | int | D:int C:int | |
| * 1 | ")" | string | [chr] |