lean4-htt/tests/lean/run/crashDiv0.lean
2022-07-09 13:53:15 -07:00

1 line
77 B
Text

#eval (2147483648 % 0) + (-0 : Int) -- TODO: we are not using binop% for mod