GitHub repository: ranjitjhala/sprite-lang
Primary language: Haskell
Created: 2020-09-23T00:01:50Z
Description: An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.