From mboxrd@z Thu Jan 1 00:00:00 1970 From: Brett Gilio Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Mon, 16 Dec 2019 21:49:43 -0600 Message-ID: <87immfy5k8.fsf@posteo.net> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:45873) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ih3rq-0006Vw-LF for guix-devel@gnu.org; Mon, 16 Dec 2019 22:49:51 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ih3rp-0006KE-DX for guix-devel@gnu.org; Mon, 16 Dec 2019 22:49:50 -0500 Received: from mout02.posteo.de ([185.67.36.66]:54105) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ih3rp-0006Ih-75 for guix-devel@gnu.org; Mon, 16 Dec 2019 22:49:49 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 928EE2400FE for ; Tue, 17 Dec 2019 04:49:47 +0100 (CET) In-Reply-To: (John Soo's message of "Mon, 16 Dec 2019 17:33:18 -0800") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: John Soo Cc: guix-devel@gnu.org, leo.prikler@student.tugraz.at, bandali@gnu.org John Soo writes: > Hey this is great! > > I=E2=80=99m a hobbyist too but I=E2=80=99m glad to see a formal methods c= ommunity in Guix! I=E2=80=99ll be following.=20 > > - John Thank you for voicing your support John! Glad to see there is an inspiring community following for this idea. --=20 Brett M. Gilio GNU Guix, Contributor