spectacle

Embedded specification language & model checker in Haskell.

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.github/workflows		.github/workflows
benchmark		benchmark
nix		nix
scripts		scripts
src		src
test		test
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
cabal.project		cabal.project
default.nix		default.nix
fourmolu.yaml		fourmolu.yaml
shell.nix		shell.nix
spectacle.cabal		spectacle.cabal

Provide feedback