We are developing a precise checker for analyzing functional programs and checking pattern matching, as well as preconditions, postconditions, and invariants.

• Paper describing the approach
• Link to repository containing the tool