sneeker/tessera
1
10 Fork 2
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
10 Commits 1 Branch 0 Tags
a3c6216bb6bf91a2f2ee4433ba06cc2f993bb341
Commit Graph
10 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
sneeker a3c6216bb6 analyse finite inhabitants of recursive type declarations 2020-02-24 12:00:00 +00:00
sneeker 8d303292d9 construct missing-case witnesses for finite and integer domains 2020-02-19 12:00:00 +00:00
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