Visible Tags
- agda [15]
- agda2 [1]
- alt.net [1]
- applicative [1]
- arbitrary-rank polymorphism [1]
- automated theorem proving [1]
- bananas [1]
- bananas in space [3]
- billy's band [1]
- birthday [1]
- coq [7]
- cs club [3]
- curry-howard [2]
- curry-howard isomorphism [1]
- dependent types [7]
- elisp [1]
- epigram [3]
- equality [1]
- f# [1]
- f_{2} [1]
- f_{omega} [1]
- foldr naturality [1]
- formal proofs [2]
- fp [72]
- fproc [1]
- fprog [44]
- free theorems [3]
- fun [1]
- functional programming [1]
- ghc [9]
- ghc 8 [1]
- ghci [1]
- google [1]
- haskell [78]
- henk [1]
- icfp [1]
- io [1]
- joke [1]
- lambda calculus [16]
- lambda cube [1]
- language design [2]
- latex [2]
- lens [2]
- liskov substitution principle [1]
- logic [2]
- logo [1]
- ltu [1]
- meeting [1]
- monad zipper [1]
- optimizations [1]
- origami programming [1]
- point-free [1]
- rank-n types [1]
- repost [3]
- rsdn [2]
- ru_lambda [1]
- ruwiki [2]
- sin [1]
- space leak [1]
- spbhug [5]
- spbtei [1]
- state monad [1]
- strictness [1]
- stt [1]
- system f [2]
- total predicates [1]
- type theory [13]
- typed lambda [8]
- univalence [1]
- wikipedia [2]
- without-k [1]
- wtf [1]
- zipper [2]
- академический университет [1]
- аквариум [1]
- алкоголь [1]
- анонс [1]
- баловство [1]
- блогоаналитика [1]
- болею за наших [1]
- бред [1]
- будни народного просвещения [1]
- вакансия [1]
- вброс [1]
- вещи [1]
- википедия [2]
- вина [1]
- вопрос [2]
- встреча [2]
- выборы [8]
- вывод типов [1]
- высшая школа [2]
- газоскреб [1]
- грамотность [1]
- дети [1]
- дурь [2]
- дыбр [1]
- егэ [2]
- жж [4]
- загадочное [1]
- задачка [5]
- заметки к lecture notes [1]
- здорово [4]
- зигохистоморфный препроморфизм [1]
- идиоты [2]
- испания [1]
- италия [1]
- клипы [2]
- козлы [1]
- комбинаторная_логика книги [1]
- комбинаторы [1]
- композиция композиций [1]
- консьюмеризм [1]
- корпоративная солидарность [1]
- кошмар [1]
- красота [3]
- креатифф [1]
- круто [1]
- культурный шок [1]
- ленивость [1]
- логика [1]
- лыжи [1]
- люблю [1]
- лямбда [1]
- лямбда-куб [1]
- марс [1]
- математика [3]
- матлогика [1]
- модное [1]
- монады [1]
- музыка [1]
- мультик [1]
- наблюдения за природой [2]
- наука [1]
- научный метод [1]
- национальный вопрос [1]
- ненависть [1]
- ностальгия [1]
- нравоучительное [1]
- образование [2]
- обратимость [1]
- обучение [1]
- одноклассники [1]
- он-лайн курс [1]
- опечатки [1]
- отлично [1]
- охренеть [1]
- пацифик [1]
- перевод [2]
- петербург [2]
- пиар [2]
- поехали [1]
- покупка вин [1]
- политика [10]
- польза [1]
- помойки [1]
- понятие духовности [1]
- поэзия [1]
- православие-самодержавие-народность [1]
- программирование [1]
- путиндавайуходи [1]
- пью вино [1]
- рабочее [3]
- размышление [1]
- репост [1]
- рефакторинг [1]
- ржунимагу [2]
- рок'н'ролл [1]
- русский язык [1]
- ряд тэйлора [1]
- сборник задач и упражнений по агде [1]
- сборник задач и упражнений по лямбде [1]
- сборник задач и упражнений по матлогике [2]
- сборник задач и упражнений по хаскелю [25]
- случаи [1]
- смешно [7]
- со скуки [1]
- спбау [1]
- счёты [1]
- так победим [1]
- тактики [1]
- твиты [1]
- теория вероятностей [1]
- теория категорий [2]
- тест [2]
- тесты [2]
- тщеславное [1]
- ударения [1]
- фальсификации [3]
- фальшивые монеты [1]
- философия [1]
- флешмоб [1]
- фотографии [1]
- функциональное программирование [2]
- футбол [1]
- хехе [1]
- черногория [2]
- чистота [1]
- школа [1]
- эшер [1]
- юбилей [1]
- юмор [1]
- языки программирования [2]
- яндекс [1]
- яхта [2]