brintos

brintos / llvm-project-archived public Read only

0
0
Text · 53 B · 1804563 Raw
2 lines · plain
1[n] -> { [x] -> -1 + [(x+5)/7] : -n - 20 <= x <= n }2