bril
bril copied to clipboard
Algebraic types extension
Work from my final project.
Adds the following algebraic type extension features:
- Support in
briliandbril-txt - Support in the JS, OCaml, and Rust libraries
- Type-checker
briltc - Rust compiler
rs2bril - Bril samples
- Rust samples
The standalone tools are currently in the algebraic-types directory, but I can reorganize things if desired.