GitHub repository: mzacho/refinement-types
Primary language: OCaml
Description: A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions