GitHub repository: nicodelpiano/exhaustive
Primary language: Haskell
Description: Exhaustivity Checking Library