5 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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