kb 03.11.2012 20:00 Azoth

Смотрел ("Ян Малаховски. Введение в Agda") — ничего не понял, потянулся выключать, а потом вдруг люто проиграл с http://screencloud.net/v/xeO3 . Такой день.

жж
#thfhig
re 2 comments !recommend ~bookmark Ssubscribe
1. 238328 03.11.2012 20:33

крестофобопроблемы

#thfhig/1
rereply
2. kb → 238328 /1 03.11.2012 20:37 Azoth

щито

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