Tutorials on programming tools and libraries, mostly executable.
Essays on functional programming and math, mostly executable.