|
From: | John Soo |
Subject: | Re: [Proposal] The Formal Methods in GNU Guix Working Group |
Date: | Mon, 16 Dec 2019 17:33:18 -0800 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |