Skip to content

bartosz-witkowski/books

Repository files navigation

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

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published