Skip to content

Latest commit

 

History

History
11 lines (8 loc) · 420 Bytes

File metadata and controls

11 lines (8 loc) · 420 Bytes

A Specification for Technique

This repository contains various formal specifications of version 1 of the Technique procedures language.

The authoriative version of the language is currently expressed by what the technique-lang/technique parser admits and what is enforced by its test suite.

The documention here is intended to provide a concise and coherent description of the language syntax and its features.