From mboxrd@z Thu Jan  1 00:00:00 1970
From: John Soo <jsoo1@asu.edu>
Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group
Date: Mon, 16 Dec 2019 17:33:18 -0800
Message-ID: <E3722ED9-29C0-48DB-8C6C-3D911D480E36@asu.edu>
References: <alpine.DEB.2.20.1912161745450.11560@marsh.hcoop.net>
Mime-Version: 1.0 (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:470:142:3::10]:60659)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <jsoo1@asu.edu>) id 1ih1jp-0006EQ-2e
 for guix-devel@gnu.org; Mon, 16 Dec 2019 20:33:25 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <jsoo1@asu.edu>) id 1ih1jn-0001LE-3a
 for guix-devel@gnu.org; Mon, 16 Dec 2019 20:33:24 -0500
Received: from mail-pj1-x1035.google.com ([2607:f8b0:4864:20::1035]:41858)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <jsoo1@asu.edu>) id 1ih1jl-0001Hs-Vk
 for guix-devel@gnu.org; Mon, 16 Dec 2019 20:33:22 -0500
Received: by mail-pj1-x1035.google.com with SMTP id ca19so3804953pjb.8
 for <guix-devel@gnu.org>; Mon, 16 Dec 2019 17:33:21 -0800 (PST)
In-Reply-To: <alpine.DEB.2.20.1912161745450.11560@marsh.hcoop.net>
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: <https://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" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: Jack Hill <jackhill@jackhill.us>
Cc: guix-devel@gnu.org, bandali@gnu.org, leo.prikler@student.tugraz.at

Hey this is great!

I=E2=80=99m a hobbyist too but I=E2=80=99m glad to see a formal methods comm=
unity in Guix!  I=E2=80=99ll be following.=20

- John=