alt Hacker News> also not remotely practical.
studying them makes you smarter, which makes you better at using the practical stuff.
Replies
mkw5053 • last Friday at 4:21 PM
Completely agree, I guess I meant if you're writing an application you're going to be a lot less productive using Idris.
It also makes you bitter, at least in my experience.