Crate y_lang

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.