|
| From: | Mark H Weaver |
| Subject: | Re: [Lightning] Verifying Toolchain Semantics |
| Date: | Tue, 07 Oct 2014 13:28:41 -0400 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/24.3.94 (gnu/linux) |
Ian, please stop posting to guile-devel. You've made your points, and
I've even called attention to what I think is the best exposition of
your ideas. At this point you're just repeating yourself and hurling
gratuitous insults. Enough!
Mark
| [Prev in Thread] | Current Thread | [Next in Thread] |