tip-parser

Parser for TIP (Tons of Inductive Problems)
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.

Install
Sources
0.4.tar.gz
md5=8c95a6a99ec2ad2caf9b6383c91e1e0c
Dependencies
odoc
with-doc
menhir
build & < "20211215"
dune
>= "1.1"
Reverse Dependencies