Sneak Peek: Bolt Math
Haskell Community [Unofficial]
March 21, 2026
ApothecaLabs:
We can use it via
lawful @Division @Int @Int 1 0which yieldsFalse, allowing us to perform lawfulness checks before attempting the operation.
You mean Nothing, right?
Discussion in the ATmosphere