From: Ralf Jung Date: Mon, 15 Jul 2019 11:50:28 +0000 (+0200) Subject: be more explicit about the abstract machine earlier X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/3a70c2f39da0bd473f891d37e788c561d81666d9?hp=3a70c2f39da0bd473f891d37e788c561d81666d9 be more explicit about the abstract machine earlier ---