Notes on books I read, talks I watch, articles I study, and papers I love
Notes from books and other interesting things that I've read. Table of c...
Literate program notes from reading 'TDD with Idris' book comparing Idri...
My reading notes
Notes (in literate Haskell) from reading Category Theory for Programmers...
A collection of all my notes. School lecture notes, book notes, journal ...