5 ms·
i am not sure if a lean port is important. TLA+ could do with a bit more TLC (pun intended) with regards its devEx. Also congratulations to the author, I'll tr
by another_twist 3mo ago
i am not sure if a lean port is important. TLA+ could do with a bit more TLC (pun intended) with regards its devEx.
Also congratulations to the author, I'll try and reproduce this over the weekend.