milner 536ecdf0cf check match coverage across multiple arguments

2020-02-14 12:00:00 +00:00

..

Analyze.hs

specialise matrices by constructors and default cases

2020-02-05 12:00:00 +00:00

Check.hs

typecheck nested patterns and clause expressions

2020-01-22 12:00:00 +00:00

Env.hs

resolve constructors and validate pattern bindings

2020-01-17 12:00:00 +00:00

Eval.hs

evaluate source matches with ordered clause semantics

2020-01-27 12:00:00 +00:00

Graph.hs

check match coverage across multiple arguments

2020-02-14 12:00:00 +00:00

Matrix.hs

represent pattern matrices and typed occurrences

2020-01-31 12:00:00 +00:00

Parser.hs

parse algebraic declarations and ordered match clauses

2020-01-13 12:00:00 +00:00

Serialize.hs

detect redundant clauses through usefulness analysis

2020-02-10 12:00:00 +00:00

Syntax.hs

parse algebraic declarations and ordered match clauses

2020-01-13 12:00:00 +00:00

Tree.hs

represent pattern matrices and typed occurrences

2020-01-31 12:00:00 +00:00