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
- Module for parsing Y programs.
- Compiler for the Y programming language.
- Type checker for Y.