Documentation
Language reference, generated artifacts, validation evidence, and project limits.
Start with Getting started to run the compiler and build an example. Use For mainframe engineers to review generated COBOL, or Evaluating BankLang to assess scope, evidence, and remaining validation work.
Start here
The output
The language and the compiler
Language reference
Decisions
- ADR-0001: Use BankTS as a restricted language
- ADR-0002: Make IBM Enterprise COBOL the primary backend target
- ADR-0003: Lower ledger and audit operations to a named calling convention
- ADR-0004: One module, one file, one program
- ADR-0005: No index type; tables are traversed, not subscripted
- ADR-0006: string<n> is n bytes, and Unicode text is a separate type