discuss empty types
authorRalf Jung <post@ralfj.de>
Wed, 22 Aug 2018 16:59:08 +0000 (18:59 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 22 Aug 2018 16:59:08 +0000 (18:59 +0200)
commit7f5e175b23e3681e3601d3717b9d0aa08d579289
treef02e21e107819f898f134a46c78d5bd80e8effbf
parentba97ef876600a735eb3d0aefdc567620a246aeb4
discuss empty types
personal/_posts/2018-08-22-two-kinds-of-invariants.md