Problem: Sum the deltas

Code: Sum+the+deltas/tails_1644218201

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)

DepthLitDescTypeArgLet
0- subtractint
* 1/ foldr1int
** 2_ = ints[int]
** 2@ = AintB:int A:int
* 1/ foldr1int
** 2_ = ints[int]
** 2implicit arg = DintD:int C:int