2 ms·It compiles to C.by wahern 6y agoIt compiles to C.masklinn 6y agoI don't think TLA+ compiles to C, not as part of the normal usage / workflow.wahern 6y agoRight, but Wuffs does. I suspect I misunderstood your previous comment.