qed-lang - Programming language

qed-lang is a programming language created in 2015.

#2885on PLDB

9Years Old

qed-lang website
qed-lang first developed in University of Washington
qed-lang on Twitter

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);