Expand description
Y
This library is the primary source for interacting with the Y programming language. It provides tools for parsing, type checking and compiling Y programs.
Modulesยง
- ast
- Module for parsing Y programs.
- compiler
- Compiler for the Y programming language.
- loader
- typechecker
- Type checker for Y.