Remove `TLA` prefix from export functions and types names in the `tla` package

DistCompiler / pgo

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

https://distcompiler.github.io/

Apache License 2.0

174 stars 14 forks source link

Closed shayanh closed 2 years ago