link to 'two kinds of invariants'
authorRalf Jung <post@ralfj.de>
Wed, 15 Jul 2020 11:43:14 +0000 (13:43 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 15 Jul 2020 11:43:14 +0000 (13:43 +0200)
commitdcb9162df11ef1393b302a62adef3b01934dfb2c
tree4075e4dfc4ee0d73c18cb016bc0346be36bbc50f
parent280f556bac4782d9ec7251b8e5e3e0c33d20c29d
link to 'two kinds of invariants'
personal/_posts/2020-07-15-unused-data.md