2 Commits

Include renames

Author	SHA1	Message	Date
sneeker	853885e5b6	differentially validate coverage witnesses and compiled dispatch	2020-03-25 12:00:00 +00:00
sneeker	1f2da0302b	parse algebraic declarations and ordered match clauses	2020-01-13 12:00:00 +00:00