Software · Types · FP

Notes on building safer and better software

Functional programming, type-driven design, testing, and whatever else interests me