Tags

• PureScript 4
• Haskell 4
• Exhaustivity 2
• Checking 3
• Google 3
• GSOC 3
• Redundancy 1
• Overlapping 1
• Coverage 1
• Library 1

PureScript

• GSOC: Coverage library and summary
• GSOC: Redundancy Checker for PureScript
• GSOC: Exhaustivity Checker for PureScript
• First shots on Exhaustivity Checking

Haskell

• GSOC: Coverage library and summary
• GSOC: Redundancy Checker for PureScript
• GSOC: Exhaustivity Checker for PureScript
• First shots on Exhaustivity Checking

Exhaustivity

• GSOC: Exhaustivity Checker for PureScript
• First shots on Exhaustivity Checking

Checking

• GSOC: Redundancy Checker for PureScript
• GSOC: Exhaustivity Checker for PureScript
• First shots on Exhaustivity Checking

Google

• GSOC: Coverage library and summary
• GSOC: Redundancy Checker for PureScript
• GSOC: Exhaustivity Checker for PureScript

GSOC

• GSOC: Coverage library and summary
• GSOC: Redundancy Checker for PureScript
• GSOC: Exhaustivity Checker for PureScript

Redundancy

• GSOC: Redundancy Checker for PureScript

Overlapping

• GSOC: Redundancy Checker for PureScript

Coverage

• GSOC: Coverage library and summary

Library

• GSOC: Coverage library and summary