tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
Activity
- Latest release
- 1y ago
- Total releases
- 9
- Cadence
- ~4 days
- Last 12 months
- 0
Details
- License
- MIT
- First release
- Apr 12, 2024
Releases
| Version | Released | |
|---|---|---|
1.5.0
minor
| ||
1.4.0
minor
| ||
1.3.6
patch
| ||
1.3.5
minor
| ||
0.0.0
initial
| ||
1.2.8
patch
| ||
1.2.7
patch
| ||
1.2.6
patch
| ||
1.2.5
major
|