Sign in Sign up
brintos

brintos / llvm-project-archived public Read only

0
0
Fork 0
Text · 68 B · 0af7fab Raw
2 lines · plain
1[P, Q] -> { [n, m] -> n : n >= 1 and m >= n and m <= P and m <= Q }2