issues
search
Davidbrcz
/
tla-ts-mode
TLA+ and PlusCal editing mode for emacs powered by tree-sitter
GNU General Public License v3.0
3
stars
1
forks
source link
Fix minor formatting issues in readme
#1
Closed
philipmw
closed
8 months ago