3 ms·
This is incredible. You have been a big help in both TLA+ and Alloy 6 — thanks so much for everything you do :)
by tonyhb 4y ago
This is incredible. You have been a big help in both TLA+ and Alloy 6 — thanks so much for everything you do :)
- hwayne 4y agoI just really really really like teaching stuff :)
- LanternLight83 4y agoLove "Computer Things", and, tbh, forget sometimes that you and the "LearnTLA+ guy" are the same person; great work on both fronts, and thank you so much for putting posts/resources out there and contributing to these corners of the web; I'll be sure to check out LTLA+ when it & I are ready c: