⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Formal specification of the Technique procedures language.

License

Notifications You must be signed in to change notification settings

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