Books In this repository I'll dump exercises/thoughts on some of the books that I'm reading. Structure and Interpretation of Computer Programs Although lovely I got bored in the middle and never got around finishing it. The Art of Prolog The same as SICP. Type Driven Development with Idris Review here: https://www.goodreads.com/review/show/2125034341 Building High Integrity Applications with SPARK WIP