undefined | Better HN

0 pointschii1mo ago0 comments

> also not remotely practical.

studying them makes you smarter, which makes you better at using the practical stuff.

0 comments

It also makes you bitter, at least in my experience.

Completely agree, I guess I meant if you're writing an application you're going to be a lot less productive using Idris.

j / k navigate · click thread line to collapse

It also makes you bitter, at least in my experience.

Completely agree, I guess I meant if you're writing an application you're going to be a lot less productive using Idris.

j / k navigate · click thread line to collapse