• [<<<]
  • [>>>]
9th
13:53

"Theorems for Free!" Вадлера и Curry-Howard изоморфизм

- 5 comments
Entry tags:
  • curry-howard,
  • haskell,
  • функциональное программирование

15th
00:06

Alligator Eggs - лямбда для карапузов

- 3 comments
Entry tags:
  • дети,
  • здорово,
  • лямбда,
  • обучение


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