[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Verifying Toolchain Semantics

From: Mark H Weaver
Subject: Re: 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!


reply via email to

[Prev in Thread] Current Thread [Next in Thread]