this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon.cruanes.2007@m4x.org"
3authors: "Simon Cruanes"
4homepage: "https://github.com/c-cube/tip-parser/"
5bug-reports: "https://github.com/c-cube/tip-parser/issues"
6tags: ["TIP" "parse" "inductive" "logic"]
7dev-repo: "git+https://github.com/c-cube/tip-parser.git"
8build: [
9 ["dune" "build" "-p" name]
10 ["dune" "runtest" "-p" name] {with-test}
11 ["dune" "build" "@doc" "-p" name] {with-doc}
12]
13depends: [
14 "ocaml"
15 "dune" {>= "1.1"}
16 "base-bytes"
17 "result"
18 "menhir" {build & < "20211215"}
19 "odoc" {with-doc}
20]
21synopsis: "Parser for TIP (Tons of Inductive Problems)"
22description: """
23A simple AST and parser/printer for TIP (https://tip-org.github.io/), a simple
24format for writing problems in a typed logic with computable functions,
25datatypes, and axioms."""
26url {
27 src: "https://github.com/c-cube/tip-parser/archive/0.4.tar.gz"
28 checksum: [
29 "sha256=2e6d6b759c492daa5c1a3d5195dd24ad2fd44b57b77d1f2a67f62742ce8a1c27"
30 "md5=8c95a6a99ec2ad2caf9b6383c91e1e0c"
31 ]
32}