play

Variations on #lang plai, the language that accompanies Krishnamurthi's PLAI book.