KiJeong-Lim / PlanHol Public

Notifications You must be signed in to change notification settings
Fork 0
Star 3

a Programming LANguage with Higher-Order Logic

BSD-3-Clause license

3 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 252 Commits
Example		Example
src		src
.gitignore		.gitignore
LICENSE		LICENSE
PlanHol.cabal		PlanHol.cabal
README.md		README.md
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock
tmp.txt		tmp.txt

Repository files navigation

PlanHol

A Programming Language with Higher-Order Logic

About

a Programming LANguage with Higher-Order Logic

prolog-interpreter logic-programming

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages

Haskell 100.0%