Usually thin is better -- but not always| twitchard.github.io
How could our tools change to reduce the cost of breaking changes?| twitchard.github.io
Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.| Manning Publications
There are two types of features: behavior-adding features and behavior-constraining features.| twitchard.github.io