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]] |