GitHub repository: tact-lang/spec
Description: Tact language specification