Skip to content

technique-lang/specification

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

22 Commits
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

Formal specification of the Technique procedures language.

Topics

Resources

License

Stars

Watchers

Forks