3 ms·
They definitely don’t all compile to the same thing. Some do, most don’t.
by carnitine 3y ago
They definitely don’t all compile to the same thing. Some do, most don’t.
- riku_iki 3y agoI meant to say they are all the same thing on logical level, all those fancy typed theories can be reduced to hol/fol, for some it is implemented, for others not.