Sign in Sign up
brintos

brintos / llvm-project-archived public Read only

0
0
Fork 0
Text · 63 B · 6cb4490 Raw
2 lines · plain
1[p] -> { [n, m] -> (n + n^3) : n >= -1 and m >= n and m <= p }2