Topic: "schonfinkel"
planetlambert/combinator
A reference implementation of Moses Schönfinkel's 1924 paper, On the Building Blocks of Mathematical Logic
Language: Go - Size: 85 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

Related Topics