5 points | by harporoeder 2 days ago
1 comments
This article is still relevant though https://people.inf.ethz.ch/wirth/Articles/LeanSoftware.pdf
This article is still relevant though https://people.inf.ethz.ch/wirth/Articles/LeanSoftware.pdf