Introduction
1.
Language Reference
1.1.
Syntax
1.2.
Well Formedness
1.3.
Core
1.4.
Static Single Assignment
1.5.
Memory
1.6.
Floating Point
1.7.
Speculative Execution
1.8.
Import
1.9.
Character
2.
Tools
2.1.
Interpreter
2.2.
Text Representation
2.3.
TypeScript Compiler
2.4.
Fast Interpreter
2.5.
Editor Plugin
2.6.
Type Inference
2.7.
Type Checker
2.8.
Benchmarks
2.9.
TypeScript Library
2.10.
OCaml Library
2.11.
Rust Library
2.12.
Benchmark Runner
2.13.
Compiler
2.14.
Web Playground
Light
Rust
Coal
Navy
Ayu
Bril: A Compiler Intermediate Representation for Learning
Bril Tools
These sections describe tools for dealing with Bril programs.