From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: [PATCH 2/3] gnu: Add go-1.4.
Date: Fri, 15 Jan 2016 17:14:48 +0100
Message-ID: <871t9i95vr.fsf@gnu.org>
References: <1452616298-6255-1-git-send-email-efraim@flashner.co.il>
	<1452616298-6255-3-git-send-email-efraim@flashner.co.il>
	<87lh7sp53w.fsf@gnu.org> <20160114231250.4c93fef1@debian-netbook>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:33487)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1aK71c-0008Lq-62
	for guix-devel@gnu.org; Fri, 15 Jan 2016 11:14:57 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1aK71X-000672-R5
	for guix-devel@gnu.org; Fri, 15 Jan 2016 11:14:55 -0500
In-Reply-To: <20160114231250.4c93fef1@debian-netbook> (Efraim Flashner's
	message of "Thu, 14 Jan 2016 23:12:50 +0200")
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
To: Efraim Flashner <efraim@flashner.co.il>
Cc: guix-devel@gnu.org

Efraim Flashner <efraim@flashner.co.il> skribis:

> On Thu, 14 Jan 2016 16:12:35 +0100
> ludo@gnu.org (Ludovic Court=C3=A8s) wrote:

[...]

>> Also, what=E2=80=99s CSP-style?  :-)
>
> I have no idea :) I scanned golang.org but didn't see anything that looked
> usable, so I hit up Wikipedia and that's what it spit out. It seems wikip=
edia
> says: https://en.wikipedia.org/wiki/Communicating_sequential_processes "In
> computer science, communicating sequential processes (CSP) is a formal
> language for describing patterns of interaction in concurrent systems."

Oh, interesting!  It might be worth replacing =E2=80=9CCSP-style=E2=80=9D i=
n the
description with =E2=80=9Cin the style of communicating sequential processes
(CSP)=E2=80=9D.

Thanks,
Ludo=E2=80=99.