Skip to content

Latest commit

 

History

History
17 lines (13 loc) · 798 Bytes

ts.md

File metadata and controls

17 lines (13 loc) · 798 Bytes

TypeScript Library

bril-ts is a TypeScript library for interacting with Bril programs. It is the basis for the reference interpreter and the included type checker, but it is also useful on its own.

The library includes:

  • bril.ts: Type definitions for the Bril language. Parsing a JSON file produces a value of type Program from this module.
  • builder.ts: A builder class that makes it more convenient to generate Bril programs from front-end compilers.
  • types.ts: A description of the type signatures for Bril operations, including the core language and all currently known extensions.