3 ms·
Yes, papers or articles from MS research, e.g. from Simon Peyton-Jones or about Koka or Lean. https://news.ycombinator.com/item?id=36471591 https://news.ycombin
by ReleaseCandidat 3y ago
Yes, papers or articles from MS research, e.g. from Simon Peyton-Jones or about Koka or Lean.
https://news.ycombinator.com/item?id=36471591 https://news.ycombinator.com/item?id=36471591
...
Guess something about VS or VS code too.