2 ms·

Thanks!

• jrumbut 4y ago
  I too remember that time and it left me terribly jaded about the utility of new languages. This is the first I've seen in a while where I think the offering hits a spot on the tradeoff continuum that is distinctive and where I can picture many circumstances where I would want to use this language (the soundness aspect is a big part of that).