[package]
name = "tlauc"
description = "Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa"
version = "1.0.4"
authors = ["Andrew Helwer <2n8rn1w1f@mozmail.com>"]
repository = "https://github.com/tlaplus-community/tlauc"
license = "MIT"
readme = "README.md"
keywords = ["tla+", "tlaplus", "pluscal", "unicode"]
categories = ["command-line-utilities", "text-editors"]
edition = "2021"
exclude = ["tests", ".github", ".gitignore", ".gitmodules"]

[dependencies]
anyhow = "1.0.81"
clap = { version = "4.5.4", features = ["derive"] }
csv = "1.3.0"
serde = { version = "1.0.197", features = ["derive"] }
streaming-iterator = "0.1.9"
tree-sitter = "0.24.3"
tree-sitter-language = "0.1.2"
tree-sitter-tlaplus = "1.5.0"

[dev-dependencies]
glob = "0.3.1"
rayon = "1.10.0"