Hacker News new | ask | show | jobs
by llull 3731 days ago
Idris. Really interesting language exploring dependent types for practical programming, but not yet production ready.