package tip-parser
Parser for TIP (Tons of Inductive Problems)
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.tar.gz
sha256=2e866622c23d5aba65a3e668084048f31af73e337138dba10309cba74dee0494
md5=c80de6832afe720df7f14a1c107625bf
Description
A simple AST and parser/printer for TIP (https://tip-org.github.io/), a simple format for writing problems in a typed logic with computable functions, datatypes, and axioms.
Dependencies (6)
-
ocamlbuild
build -
menhir
build & < "20200525" - result
- base-bytes
-
ocamlfind
build - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page