A language of specified programs | lit.salon