11 ms·
Interestingly, this seems to be sponsored by Microsoft Research, which has also heavily supported the development of and research on Haskell. (Source: https://
by codeflo 3y ago
Interestingly, this seems to be sponsored by Microsoft Research, which has also heavily supported the development of and research on Haskell.
(Source: https://www.microsoft.com/en-us/research/project/koka/ https://www.microsoft.com/en-us/research/project/koka/)
- ed_blackburn 3y agoDid they not effectively acqui-hire or plain hire the pony lang team too?
- ReleaseCandidat 3y agoAnd Lean (which also uses Perceus RC) too: https://www.microsoft.com/en-us/research/project/lean/ https://www.microsoft.com/en-us/research/project/lean/