ranjitjhala/sprite-lang

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

语言：Haskell · GitHub 星标：156 · Fork：12

在 GitHub 上查看原仓库