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)
commit2916b1c61c38b0fc93e06665077954218685bd4c
tree9d94fba68b292c1901038aff46b058ba35ac94a3
parent8a8140c297a6e5659afdbc3741f34bdcaedb0eef
discuss empty types
personal/_posts/2018-08-22-two-kinds-of-invariants.md