3 ms·

We still have Idris and ATS.

• ampdepolymerase 6y ago
  Considering that half of all prominent functional PL researchers are hired by Microsoft Research I won't be too confident about that.