Re: Returning to the project

[John Soo]

Hey welcome back Brett!

I was hopeful about the formal methods working group! Also all your work on the 
MLton toolchain was very interesting. I don’t think any work has been done on 
those since you left off :)

Good to see you,

- John