News

Effortless Python bindings for OCaml modules. Contribute to ocamllibs/ocaml-in-python development by creating an account on GitHub.
The spec currently defines materialization as follows: Given a gradual type A, if we replace zero or more occurrences of Any in A with some type (which can be different for each occurrence of Any), ...