Update to use current fixpoint

ranjitjhala / sprite-lang

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

BSD 3-Clause "New" or "Revised" License

146 stars 13 forks source link

Closed ranjitjhala closed 8 months ago

ranjitjhala commented 9 months ago

Update to work with latest liquid-fixpoint-0.9.6.3