README.md

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