https://github.com/technique-lang/specification

Formal specification of the Technique procedures language.
https://github.com/technique-lang/specification

bnf procedures specification

Last synced: 4 months ago
JSON representation

Formal specification of the Technique procedures language.

• Host: GitHub
• URL: https://github.com/technique-lang/specification
• Owner: technique-lang
• License: mit
• Created: 2025-08-24T12:10:50.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2025-09-12T01:54:47.000Z (9 months ago)
• Last Synced: 2025-09-12T04:00:20.991Z (9 months ago)
• Topics: bnf, procedures, specification
• Homepage:
• Size: 127 KB
• Stars: 0
• Watchers: 0
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# 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.