Ranjit Jhala
Results
1
repositories owned by
Ranjit Jhala
sprite-lang
123
Stars
11
Forks
Watchers
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
Ranjit Jhala
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.