Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
app		app
examples		examples
src		src
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
fol.cabal		fol.cabal
stack.yaml		stack.yaml

Repository files navigation

FOL

fol repl
fol < ./examples/ex1.fol

Predicate (First-order) Logic

No releases published

No packages published