E | |
| Explicit [Typeinf] |
The abstract syntax of the explicitly-typed syntax and a pretty-printer.
|
I | |
| Imp |
The IMP language.
|
| Implicit [Typeinf] |
The abstract syntax of the implicitly-typed syntax and a parser.
|
S | |
| Sketching | |
| Smtlib |
An OCaml API for working with SMT-LIB-based solvers, such as Z3.
|
T | |
| Typeinf |
Support code for writing type-inference.
|