milner 4fadf4bc01 evaluate source matches with ordered clause semantics

2020-01-27 12:00:00 +00:00

scripts

parse algebraic declarations and ordered match clauses

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

src/Tessera

evaluate source matches with ordered clause semantics

2020-01-27 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%