|
| 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] |