Problem: Shifting Pattern Fixed
Code: Shifting+Pattern+Fixed/tails_1646611779
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 | `. | iterate while uniq | [[chr]] | ||
* 1 | @ | = fstLine | [chr] | ||
* 1 | : | append | [chr] | A:[chr] | |
** 2 | `( | uncons | chr | B:[chr] | |
*** 3 | \ | reverse | [chr] | ||
**** 4 | $ | = A | [chr] | ||
** 2 | \ | reverse | [chr] | ||
*** 3 |
| implicit arg = B | [chr] |