pgo icon indicating copy to clipboard operation
pgo copied to clipboard

Published 20 hours ago • verified publisher icon DistCompiler

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

Open shayanh opened this issue 3 years ago • 0 comments

shayanh avatar May 05 '22 02:05 shayanh