Type inference, closures and algebraic data types in OCaml
  • OCaml 88.3%
  • Python 7.3%
  • Emacs Lisp 3.9%
  • Makefile 0.5%
Find a file
2024-09-07 09:58:52 +00:00
editor Report evaluation failures with source excerpts and caret diagnostics 2024-09-07 09:58:52 +00:00
examples Test recursion, interfaces and module boundaries 2024-09-03 15:03:13 +00:00
media Report evaluation failures with source excerpts and caret diagnostics 2024-09-07 09:58:52 +00:00
src Report evaluation failures with source excerpts and caret diagnostics 2024-09-07 09:58:52 +00:00
test Report evaluation failures with source excerpts and caret diagnostics 2024-09-07 09:58:52 +00:00
.gitignore Integrate source evaluation and signature inspection with Emacs 2024-09-04 23:44:53 +00:00
.ocamlformat Build bytecode and native interpreters with OCaml 2024-09-02 22:11:26 +00:00
LICENSE Represent source spans and polymorphic type variables 2024-08-27 15:01:10 +00:00
Makefile Build bytecode and native interpreters with OCaml 2024-09-02 22:11:26 +00:00
opal.opam Build bytecode and native interpreters with OCaml 2024-09-02 22:11:26 +00:00
README.md Report evaluation failures with source excerpts and caret diagnostics 2024-09-07 09:58:52 +00:00