• OCaml Coq <gds> проверка императивного алгоритма буферизованного чтения: gds.livejournal.com (Coq, OCaml)
    <f[x]> "тогда я взял coq"
    <gds> и твёрдо сжал его правой рукой.
    <gds> после нескольких несложных действий я понял, что всё реально, всё в моих руках, и конец будет достигнут.

    chatlogs.jabber.ru

Replies (0)