From: Ralf Jung Date: Wed, 22 Aug 2018 16:59:08 +0000 (+0200) Subject: discuss empty types X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/7f5e175b23e3681e3601d3717b9d0aa08d579289?hp=7f5e175b23e3681e3601d3717b9d0aa08d579289 discuss empty types ---