Who Builds a House Without Drawing Blueprints? (2015) (via typesanitizer) — discussion
#formalmethods
