Hacker News new | ask | show | jobs
by wscourge 898 days ago
There's Idris, designed to encourage "Type-Driven Development".