news.volyx.in

Idris: A language for type-driven development (idris-lang.org)

275 points by peter_d_sherman · 1323 days ago · 185 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.