B
book
Projects with this topic
-
Vol 2: Light reading about being a computer nerd in the age of open source tech.
Updated -
Solutions to exercises from Type-Driven Development with Idris by Edwin Brady, and tests thereof.
UpdatedUpdated -
A GitBook version of Hal Abelson's, Jerry Sussman's and Julie Sussman's Structure and Interpretation of Computer Programs - Read it here
Updated