CommunityModules icon indicating copy to clipboard operation
CommunityModules copied to clipboard

Published 20 hours ago • verified publisher icon tlaplus

Add external parsers

Open Isaac-DeFrain opened this issue 2 years ago • 0 comments

  • add TLA+ modules for function, record, and sequence of records parsers
  • add overriding java classes
  • add examples
  • add docs

Please feel free to change the directory structure to something more suitable. I wasn't sure if there was a better way to include the readmes and examples along with the modules and java classes.

Isaac-DeFrain avatar Jun 08 '22 21:06 Isaac-DeFrain