That's what I was guessing. Especially after reading the article below and seein... | Hacker News

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

login

nickpsecurity on April 22, 2017 | parent | context | favorite | on: Resources on creating programming languages

That's what I was guessing. Especially after reading the article below and seeing lots of compiler/prover authors go with ML's.

https://news.ycombinator.com/item?id=14123100

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