GitHub repository: Davidbrcz/tla-ts-mode
Primary language: Emacs Lisp
Created: 2023-11-25T14:28:23Z
Description: TLA+ and PlusCal editing mode for emacs powered by tree-sitter