Hacker News new | ask | show | jobs
by pjc50 724 days ago
A Hindley-Milner typed language with rigorous semantics for targeting native platforms? Amazing! Pity about the syntax.