brintos

brintos / llvm-project-archived public Read only

0
0
Text · 62 B · 52e7fc8 Raw
2 lines · plain
1[p] -> { [n, m] -> (n + n^2) : n >= 1 and m >= n and m <= p }2