Brendan Zabarauskas@brendanzab·May 3, 2019I love the fact that our precious λ symbol (for function abstraction) arose due to a series of typographical errors: http://www-users.mat.umk.pl/~adwid/materialy/doc/church.pdf…13296674
Sebastian Ullrich ICFP@derKha·May 3, 2019I hate it when my hat falls off and turns into a Greek letter1127
Brendan Zabarauskas@brendanzabReplying to @derKhahat calculus6:35 AM · May 3, 2019·Twitter Web Client13 Likes
