language-twelf package Twelf language support for Atom. This is just a port of the Twelf TextMate bundle by Tiark Rompf.