bts/sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
HaskellBSD-3-Clause
No issues in this repository yet.
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
HaskellBSD-3-Clause
No issues in this repository yet.