3 ms·y-combinator is on there representing lambda calculus at least ...by munin 15y agoy-combinator is on there representing lambda calculus at least ...king_magic 15y agoGood point, I must have missed that one.