gds 12.03.2012 15:56 umodniB2B586F5

true <> false
Неожиданно? Однако, это так.
Эта шокирующая истина теперь конструктивно доказана: http://gds.livejournal.com/63887.html

coq, жж, академота
#osheot
re 2 comments !recommend ~bookmark Ssubscribe
1. komar 12.03.2012 15:56 komar

Воистину АКАДЕМОТА.

#osheot/1
rereply
2. gds → komar /1 12.03.2012 15:59 umodniB2B586F5

хуйни в тегах не порю!
с другой стороны, это только разминка, вспоминаю coq. При его практическом использовании это будет не нужно. Но мне важно было это знать.

#osheot/2
rereply
Do you really want to delete ?