|
| From: | Brett Gilio |
| Subject: | Re: [Proposal] The Formal Methods in GNU Guix Working Group |
| Date: | Mon, 16 Dec 2019 21:49:43 -0600 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
John Soo <address@hidden> writes: > Hey this is great! > > I’m a hobbyist too but I’m glad to see a formal methods community in Guix! > I’ll be following. > > - John Thank you for voicing your support John! Glad to see there is an inspiring community following for this idea. -- Brett M. Gilio <address@hidden> GNU Guix, Contributor <https://guix.gnu.org/>
| [Prev in Thread] | Current Thread | [Next in Thread] |