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)
commitb91b3d141fdbdf9c913e620d0701ae9a95dca7e8
treee0d3b18f4261b9cc65bd862818522b71fb06ad5b
parent9cccf23f421b07e0c4ac07e381833f3af1e67454
link to 'two kinds of invariants'
ralf/_posts/2020-07-15-unused-data.md