tyabtversion

Strongly typed many-sorted abstract binding trees (ABTs)

Tyabt is an implementation of many-sorted abstract binding trees. Abstract binding trees (ABTs) are similar to abstract syntax trees, but also keep track of variable scopes. Many-sorted ABTs support multiple syntactic classes, known as sorts. This library uses GADTs and phantom types to statically ensure that only syntactically valid ABTs are representable.

AuthorAlan Hu <alanh@ccs.neu.edu>
LicenseMPL-2.0
Published
Homepagehttps://alan-j-hu.github.io/tyabt
Issue Trackerhttps://github.com/alan-j-hu/tyabt/issues
MaintainerAlan Hu <alanh@ccs.neu.edu>
Dependencies
Source [http] https://github.com/alan-j-hu/tyabt/releases/download/0.1.0/tyabt-0.1.0.tbz
sha256=cfce3264cf6427e9e956f5b52a67fc65883317e7318db4fc2416307b9a3116c6
sha512=f9436ef29330bc71933d2fb1af7d3aea6c4c7a61d60e6a385bb3326a4b3b9b3936f3adc47f93d901b4cabcc5405810eb5c309c1077f860777770d12fcc076ce1
StatisticsInstalled 3 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/tyabt/tyabt.0.1.0/opam
No package is dependent