hplar

Coding the Handbook of Practical Logic and Automated Reasoning.

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
app		app
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
Lib.hs		Lib.hs
Main.hs		Main.hs
README.md		README.md
Setup.hs		Setup.hs
Spec.hs		Spec.hs
hplar.cabal		hplar.cabal
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Provide feedback