discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Idris: A language for type-driven development
https://www.idris-lang.org/
185 comments
20/1/2023