And Lean (which also uses Perceus RC) too: https://www.microsoft.com/en-us/resea... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

ReleaseCandidat 10 months ago | parent | context | favorite | on: Koka: Strongly typed functional-style language wit...

And Lean (which also uses Perceus RC) too: https://www.microsoft.com/en-us/research/project/lean/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact