this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Strongly typed many-sorted abstract binding trees (ABTs)"
3description: """
4Tyabt is an implementation of many-sorted abstract binding trees. Abstract
5binding trees (ABTs) are similar to abstract syntax trees, but also keep track
6of variable scopes. Many-sorted ABTs support multiple syntactic classes, known
7as sorts. This library uses GADTs and phantom types to statically ensure that
8only syntactically valid ABTs are representable."""
9maintainer: ["Alan Hu <alanh@ccs.neu.edu>"]
10authors: ["Alan Hu <alanh@ccs.neu.edu>"]
11homepage: "https://alan-j-hu.github.io/tyabt"
12doc: "https://alan-j-hu.github.io/tyabt"
13bug-reports: "https://github.com/alan-j-hu/tyabt/issues"
14license: "MPL-2.0"
15depends: [
16 "dune" {>= "2.8"}
17 "ocaml" {>= "4.12"}
18 "odoc" {with-doc}
19]
20build: [
21 ["dune" "subst"] {dev}
22 [
23 "dune"
24 "build"
25 "-p"
26 name
27 "-j"
28 jobs
29 "@install"
30 "@runtest" {with-test}
31 "@doc" {with-doc}
32 ]
33]
34dev-repo: "git+https://github.com/alan-j-hu/tyabt.git"
35url {
36 src:
37 "https://github.com/alan-j-hu/tyabt/releases/download/0.1.0/tyabt-0.1.0.tbz"
38 checksum: [
39 "sha256=cfce3264cf6427e9e956f5b52a67fc65883317e7318db4fc2416307b9a3116c6"
40 "sha512=f9436ef29330bc71933d2fb1af7d3aea6c4c7a61d60e6a385bb3326a4b3b9b3936f3adc47f93d901b4cabcc5405810eb5c309c1077f860777770d12fcc076ce1"
41 ]
42}
43x-commit-hash: "4a94fab82cd6b863c81b0edbe49bcf75f4e36433"