stjordanis / sprite-lang Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ranjitjhala/sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
License: BSD 3-Clause "New" or "Revised" License