Name		Name	Last commit message	Last commit date
Latest commit History 51 Commits
.circleci		.circleci
.github/workflows		.github/workflows
app		app
bench		bench
haddock		haddock
src		src
test-tasty		test-tasty
test		test
.dockerignore		.dockerignore
.gitignore		.gitignore
.travis.yml		.travis.yml
ChangeLog.md		ChangeLog.md
CheckMemo.md		CheckMemo.md
Dockerfile		Dockerfile
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
appveyor.yml		appveyor.yml
package.yaml		package.yaml
report.html		report.html
stack.yaml		stack.yaml