Planet Lambert's repositories
combinator
A reference implementation of Moses Schönfinkel's 1924 paper, On the Building Blocks of Mathematical Logic
000
A reference implementation of Moses Schönfinkel's 1924 paper, On the Building Blocks of Mathematical Logic