On 12/09/2016 10:23 PM, Aaron Wolf wrote:
On 12/09/2016 10:00 PM, Bryan Richter wrote:
p.s. the job is with Formal.tech, a spinoff of Galois Inc, and it's
Haskell to the max (for now).
Congratulations, that's super cool.
I'm idly curious whether spinoffs are also run as described in
Thanks again for getting us launched to our first beta.
Did I miss this? I don't see a beta launch mentioned on the site or
Discuss mailing list