qed-lang - Programming language

qed-lang is a programming language created in 2015.

#2766on PLDB

9Years Old

Tags: programming language
Early development of qed-lang happened in University of Washington

Example from the web:

void Button(string text) {
    int col = 0xC0C0C0; @out("  " + text + "  ")
} @out(rect()) @bgcol(col) @onpress(col = 0x808080) @onrelease([col = 0xC0C0C0, return()])
Button("Form 1");
println("Form 1 clicked");
Button("Form 2");
println("Form 2 clicked");
Button("Quit");
return(0);