gds 20.03.2013 15:22umodni6D8A23E3

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

coq
Do you really want to delete ?