https://github.com/hwayne/tla.vim
Vim plugin for TLA+ and PlusCal
https://github.com/hwayne/tla.vim
Last synced: 9 months ago
JSON representation
Vim plugin for TLA+ and PlusCal
- Host: GitHub
- URL: https://github.com/hwayne/tla.vim
- Owner: hwayne
- License: mit
- Created: 2016-11-03T16:45:20.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2023-11-05T03:31:21.000Z (over 2 years ago)
- Last Synced: 2024-11-14T01:13:10.368Z (over 1 year ago)
- Language: VimL
- Size: 10.7 KB
- Stars: 29
- Watchers: 6
- Forks: 4
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# DEPRECATED
Use the treesitter grammar instead
# tla.vim
Vim plugin for TLA+ and PlusCal. Helps with writing specs. Since there's no official TLA+ styleguide, it currently just implements my preferences. The plugin makes the following assumptions:
* You're using p-syntax. I prefer that to c-syntax because it doesn't overload the meaning of `{}` and makes the indentation file not hair-pullingly impossible.
* You're only using vim to write your spec, not to typeset or run models. Modelling is waaaaaay too complicated to be part of a text editor. Use the [TLA+ Toolbox](http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html) for that instead.
## Current Functionality
* Some syntax highlighting
* Handles `\*` as a comment
* Autofolds PlusCal translations
* Functions for SANY and PlusCal translation
* Some indentation logic
## Planned Functionality
* Command line options for PlusCal translation
* Documentation
* More indentation
* More syntax highlighting
* Better handling of editing PlusCal algorithms
* Vim Definitions
## Pie-In-The-Sky Functionality
* Dumping SANY errors into a quickfix list
* A way to highlight expressions that are valid but not TLC-compatible
* Tags
* Rewrite in something that isn't Vimscript
* Making sure it plays nice with TLA+2