tla.vim

Vim Script ★ 29 updated 1y ago ▣ archived

Vim plugin for TLA+ and PlusCal

No plain-English explanation yet — one is being written right now. Check back in a minute.