There are different rules for reading,
for thinking, and for talking.
Writing blends all three of them.
– Mason Cooley

Functional programming

Mathematics

Meta

Tools and techniques