2020-07-15 | Ralf Jung | link to 'two kinds of invariants' | blob | commitdiff | raw |
2020-07-15 | Ralf Jung | add forum link | blob | commitdiff | raw | diff to current |
2020-07-15 | Ralf Jung | finish and publish unused-data post | blob | commitdiff | raw | diff to current |