Typed code, three targets
Write TypeRB. See what it becomes.
Run portable TypeRB through the real compiler, inspect its output, and switch targets without changing the source language.
Parser → checker → typed IR → backend
main.trb
Ready
>_
Run the source to see its output.
Nothing leaves this device.