Return
Styles:
Pseud0ch
,
Terminal
,
Valhalla
,
NES
,
Geocities
,
Blue Moon
.
Entire thread
If you want to make enemies...
1
Name:
Anonymous
2011-03-21 20:10
...try to change something
20
Name:
Anonymous
2011-03-22 13:16
>>19
Replace notation by something less ambiguous like S-Expressions? It's still axiomatizable. It's even a better choice at that as you'll be able to machine prove your statements, which is not always possible with more ambiguous notation.
Newer Posts
Don't change these.
Name:
Email:
Entire Thread
Thread List