An implementation of the Gradually Typed Lambda Calculus with a Scheme-like syntax in OCaml
Primary LanguageOCaml