Replies to message #1,342
-
🏰 Deploying update to the Tatarus security page. If you encounter issues, post here.
Programming thread
I actually find this notation a lot easier to read than heavy name aliasing. Often times in math/logic books, the authors will go to such extreme...