milner 536ecdf0cf check match coverage across multiple arguments

2020-02-14 12:00:00 +00:00

scripts

parse algebraic declarations and ordered match clauses

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

src/Tessera

check match coverage across multiple arguments

2020-02-14 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%