Post

We have a new release (v0.45.0) that adds grammar companion packs to the Python wheel: ten new pip-installable wheels covering ~250 tree-sitter grammars. We've also added support for a variety of audio programming languages.

github.comRelease v0.45.0 · panproto/panprotoAdded panproto.TheoryBuilder on the Python SDK — a fluent builder mirroring SchemaBuilder and MigrationBuilder. Accumulates sorts, operations, and equational axioms via chained calls and produces...

0 reposts1 like

No replies yet.