libtlafmt 0.4.1

A formatter library for TLA+ specs, core of tlafmt
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

[package]
name = "libtlafmt"
version = "0.4.1"
edition = "2021"
authors = ["Dom <dom@itsallbroken.com>"]
description = "A formatter library for TLA+ specs, core of tlafmt"
documentation = "https://docs.rs/tlafmt"
repository = "https://github.com/domodwyer/tlafmt"
license = "Apache-2.0"
categories = ["command-line-utilities", "development-tools"]
keywords = ["tla", "plus", "tla+", "formatter"]

[dependencies]
thiserror = "2.0.12"
tree-sitter = "0.25.3"
tree-sitter-tlaplus = "1.5.0"

[dev-dependencies]
insta = { version = "1.42.2", features = ["glob"] }
pretty_assertions = "1.4.1"

[lints]
workspace = true