Problem: permission list
Code: permission+list/tails_1642073816
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 | ! | zip with | [[chr]] | ||
| * 1 | . | map | [[chr]] | ||
| ** 2 | `* | nary cartesian product | [[int]] | ||
| *** 3 | ^ | replicate | [[int]] | ||
| **** 4 | 4 | integer | int | ||
| **** 4 | : | append | [[int]] | ||
| ***** 5 | `, | range from 0 | [int] | ||
| ****** 6 | 8 | integer | int | ||
| ***** 5 | ~ | auto = [] | auto | ||
| ** 2 | : | append | [chr] | A:[int] | |
| *** 3 | $ | = A | [int] | ||
| *** 3 | " is -" | string | [chr] | ||
| * 1 | `* | nary cartesian product | [[chr]] | B:[chr] | |
| ** 2 | ^ | replicate | [[chr]] | ||
| *** 3 | 3 | integer | int | ||
| *** 3 | `* | nary cartesian product | [[chr]] | ||
| **** 4 | "-""rwx" | string list | [[chr]] | ||
| * 1 | : | zipop: cons | null |