package tip-parser
Parser for TIP (Tons of Inductive Problems)
Install
dune-project
Dependency
Authors
Maintainers
Sources
0.4.tar.gz
sha256=2e6d6b759c492daa5c1a3d5195dd24ad2fd44b57b77d1f2a67f62742ce8a1c27
md5=8c95a6a99ec2ad2caf9b6383c91e1e0c
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.
README
README.adoc
= Tip_parser :source-highlighter: pygments Parser for https://tip-org.github.io/format.html, in OCaml. It depends on menhir. == Documentation - http://c-cube.github.io/tip-parser/dev[dev] - http://c-cube.github.io/tip-parser/0.1[0.1] - http://c-cube.github.io/tip-parser/0.3[0.3] == License This code is free, under the BSD license.
On This Page