Functions are testable - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

Closed deemp closed 4 months ago

deemp commented 4 months ago


Source	A developer
Stimulus	A developer modifies the Haskell code.
Environment	A developer's machine
Artifact	Haskell code
Response	Doctests are created or updated.
Response measure	Coverage reported by HPC is no less than 60%.