2012 #IOCCC entry on the #BLC, a pure functional language interpreter in 650 bytes of C; accompanied by a bunch of tiny BLC programs
on 02017-03-22the binary λ-calculus (#BLC, though I suppose it should be BΛC) and a graphical notation for it. Also a binary encoding of SK-combinators from combinatory logic.
on 02017-03-22