This may very well be the most useless book I have ever written, and I don't even know why I did. I guess it is still better than getting drunk in a bar.
Anyway, it defines the #T3X programming language formally in terms of basic functions (zero, successor, identity, mu) and naive set theory. I have no idea why anybody would read such a book. Maybe you can give me some hints? :)
Or, in case you want to prove me wrong: http://t3x.org/t3x/0/formal.html #programming, #semantics, #math, #futility
Add comment