|
| From: | John Soo |
| Subject: | Re: Returning to the project |
| Date: | Fri, 26 Jun 2020 17:16:22 -0700 |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |