John Soo <js...@asu.edu> 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 <bre...@posteo.net> GNU Guix, Contributor <https://guix.gnu.org/>
