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)
commit542866b9624f6d834a9d9560cff8bd459e5593f9
tree286f895be7ea6c2d21f46a78e05c516325366dff
parent181a80ca72ad8c7eea4004885816ebd7f2d59fd3
discuss empty types
ralf/_posts/2018-08-22-two-kinds-of-invariants.md