 milner
|
2cbbe7bb49
|
specialise matrices by constructors and default cases
|
2020-02-05 12:00:00 +00:00 |
|
|
milner
|
d805be2117
|
represent pattern matrices and typed occurrences
|
2020-01-31 12:00:00 +00:00 |
|
|
milner
|
4fadf4bc01
|
evaluate source matches with ordered clause semantics
|
2020-01-27 12:00:00 +00:00 |
|
|
milner
|
67f24dd845
|
typecheck nested patterns and clause expressions
|
2020-01-22 12:00:00 +00:00 |
|
|
milner
|
fb0fd5431c
|
resolve constructors and validate pattern bindings
|
2020-01-17 12:00:00 +00:00 |
|
|
milner
|
e1d7c8b395
|
parse algebraic declarations and ordered match clauses
|
2020-01-13 12:00:00 +00:00 |
|