Hi all, I've just created a github organisation for formal tools in and for Go.
There's not much there now, but it is open to all to list and house related repos. Membership is open upon request (for now just send an email to w...@iri-labs.com), we ask only that you be an open (not secret) github member. Best, Scott -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
