News for hackers. Stuff that matters.
Re:TLA+ by hwayne on Monday March 08, 2021 @03:22PM (#26390983)
I use a personal wrapper around the command line for most of my work. It's incomplete and has a few holes, but it gets the job done for me. https://github.com/hwayne/tlacli
Re:TLA+ by agstewart on Monday March 08, 2021 @04:21PM (#26391753)
Thanks for your all your content on TLA+ -- learntla.com was very helpful!