U

uSmallTalk

A Sublime 3 syntax highlighter for uSmallTalk, one of the bridge languages used in Norman Ramsey's "Build, Prove, and Compare".