8 Commits

Include renames

Author	SHA1	Message	Date
sneeker	06520bb54c	check match coverage across multiple arguments	2020-02-14 12:00:00 +00:00
sneeker	7cead3848e	detect redundant clauses through usefulness analysis	2020-02-10 12:00:00 +00:00
sneeker	e02c5b3559	specialise matrices by constructors and default cases	2020-02-05 12:00:00 +00:00
sneeker	c19434936d	represent pattern matrices and typed occurrences	2020-01-31 12:00:00 +00:00
sneeker	1963651fbb	evaluate source matches with ordered clause semantics	2020-01-27 12:00:00 +00:00
sneeker	e8d5e19344	typecheck nested patterns and clause expressions	2020-01-22 12:00:00 +00:00
sneeker	c08983f97e	resolve constructors and validate pattern bindings	2020-01-17 12:00:00 +00:00
sneeker	1f2da0302b	parse algebraic declarations and ordered match clauses	2020-01-13 12:00:00 +00:00