/sum-totality

Totality checking for sum type producers in Haskell

Primary LanguageHaskell

Stargazers