Add support for `assert` function from `Control.Exception`#388

Merged

jespercockx merged 2 commits intoagda:masterfrom

jespercockx:assert

Jan 9, 2025

Commits on Jan 6, 2025

Add instances for `Dec (IsTrue b)` and `Dec (IsFalse b)` to Haskell.Extra.Dec
jespercockx
committed
Add `assert` function to `Haskell.Control.Exception`
jespercockx
committed