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.
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.