Full threadsriram_malhar·This looks fantastic. Can't wait to translate some non-trivial TLA+ to test it out.View on HN