псы в рапиде » from archive
RT @jneira: Haskell ports of all OCaml implementations for "Types and Programming Languages" (TAPL) by Benjamin C. Pierce http://t.co/ZPK7ZJhL