I finally found the cheat-code for disabling the type-checker /s

tutorials
9

If only a language with a "natural fit for provable programming"[1] was used so we were not seeing such bugs being found.

  1. ↩︎

1 Like