3 ms·
This looks fantastic. Can't wait to translate some non-trivial TLA+ to test it out.
by sriram_malhar 3y ago
This looks fantastic. Can't wait to translate some non-trivial TLA+ to test it out.
- jayaprabhakar 3y agoThank you. Please let me know how it goes. Also, I can work with you on modeling it if you need - I'll want to see where the language design is causing the issue
- hwayne 3y agoI'd also love to see what comes of this!