• [<<<]
  • [>>>]
15th
16:08

Curry-Howard и конструкторы типов


Entry tags:
  • curry-howard isomorphism,
  • haskell

18:07

ЖЖ

- 1 comment
Entry tags:
  • haskell,
  • жж,
  • смешно

18th
22:18

Тест (политический :) )

- 2 comments
Entry tags:
  • тесты

24th
22:10

Наташа Пивоварова разбилась




[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]