milner 7e1d712e85 detect redundant clauses through usefulness analysis

2020-02-10 12:00:00 +00:00

scripts

parse algebraic declarations and ordered match clauses

2020-01-13 12:00:00 +00:00

src/Tessera

detect redundant clauses through usefulness analysis

2020-02-10 12:00:00 +00:00

.gitignore

parse algebraic declarations and ordered match clauses

2020-01-13 12:00:00 +00:00

makefile

parse algebraic declarations and ordered match clauses

2020-01-13 12:00:00 +00:00

S

Description

Pattern match compiler with exhaustiveness checking and counterexample generation (CS4201)

756 KiB

0 Stars 1 Watchers 0 Forks

Languages

Haskell 98.2%

Shell 1.2%

Makefile 0.6%