gds 20.03.2013 15:22 umodni6D8A23E3

"
Rc43: What does name of Agda mean?
olahol_: Agda the chicken, swedish floksong
"
Я всегда знал, что Coq — строго над Agda.

coq
Recommended by: @Kakadu
#tsszgo
re 1 comment !recommend ~bookmark Ssubscribe
1. ulidtko 20.03.2013 17:38

кудах

#tsszgo/1
rereply
Do you really want to delete ?