Totality checking for sum type producers in Haskell
Why do you think that https://github.com/effectfully-ou/sketches is a good alternative to sum-totality
Totality checking for sum type producers in Haskell
Why do you think that https://github.com/effectfully-ou/sketches is a good alternative to sum-totality