Tect (meta) programming language

A (meta) programming language for designing/reasoning about code.