This is a bit unusal :) Thanks for all the compliments. Maybe it is time to think about ATS3?
Cheers! On Thursday, February 8, 2018 at 8:24:36 PM UTC-5, Artyom Shalkhakov wrote: > > Indeed it's a curious thing. > > I've been following Hongwei's commits for the last 8 years and he has made > an impact on the way I view and practice programming. > > Thanks much, Hongwei! > > 9 февр. 2018 г. 2:55 ДП пользователь "Yves Cloutier" <...> написал: > > I've been keeping an eye on ATS for a while now, after being introduced to > functional programming, learning a bit of SML,OCaml etc. > > I have not seen anywhere else the level of drive, enthusiasm, dedication, > innovation that Hongwei has and continues to have. > > That being said, I'm still in ATS pre-school and can't say I've been able > to write anything mildly impressive. > > But just wanted to bow my hat down to this human (?) they call Hongwei. > > May you keep on innovating and breaking new grounds. > > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/ats-lang-users. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/f74d7c3d-06e7-4dc7-a456-5db9a3b4e34b%40googlegroups.com > > <https://groups.google.com/d/msgid/ats-lang-users/f74d7c3d-06e7-4dc7-a456-5db9a3b4e34b%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/b83e6c2f-c4b4-4960-b1e9-37ee06c790fa%40googlegroups.com.
