Hey all,<p>A while back I implemented Turing's "On Computable Numbers" paper [1], and decided that Schönfinkel's "On the Building Blocks of Mathematical Logic" would be a fun next one to try to implement.<p>Alongside the code I include a section-by-section guide to the paper. I apologize for any misreadings of the original text (of which there are probably many).<p>I'll probably continue to try to make guides/reference implementations for landmark CS papers, would love to hear what you think the most important ones are!<p>[1] <a href="https://github.com/planetlambert/turing">https://github.com/planetlambert/turing</a>