sneeker e8a2f30163 persist trees and expose execution and diagnostic commands

2020-03-09 12:00:00 +00:00

app

construct missing-case witnesses for finite and integer domains

2020-02-19 12:00:00 +00:00

examples

persist trees and expose execution and diagnostic commands

2020-03-09 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

tessera.cabal

analyse finite inhabitants of recursive type declarations

2020-02-24 12:00:00 +00:00

S

Description

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

756 KiB

10 Stars 1 Watchers 2 Forks

Languages

Haskell 98.2%

Shell 1.2%

Makefile 0.6%