Name		Name	Last commit message	Last commit date
Latest commit History 32 Commits
app		app
examples		examples
src		src
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
logic-lang.cabal		logic-lang.cabal
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock

Repository files navigation

logic-lang

About

A logic programming language that generates Herbrand functional logic resolution proofs.

BSD-3-Clause license

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages