Problem: rotate lines reversely
Code: rotate+lines+reversely/tails_1646157034
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 | : | append | [[chr]] | ||
| * 1 | `( | uncons | [chr] | A:[[chr]] | |
| ** 2 | \ | reverse | [[chr]] | ||
| *** 3 | ;;@ | = allLines | [[chr]] | ||
| * 1 | \ | reverse | [[chr]] | ||
| ** 2 | | implicit arg = A | [[chr]] |