Реализация на Y комбинатора на Scheme.
Реализация на нумерали на Чърч, булеви стойности и наредени двойки на Хаскел.
Реализация на нумерали на Чърч с типови анотации и фалшива рекурсивна реализация на факториел.
Илюстрация на разликата между извикване по име (CBV) и извикване по стойност (CBN).
Публикуване на хранилището в GitHub