3 ms·
> also not remotely practical. studying them makes you smarter, which makes you better at using the practical stuff.
by chii 6mo ago
> also not remotely practical.
studying them makes you smarter, which makes you better at using the practical stuff.
- TurboHaskal 6mo agoIt also makes you bitter, at least in my experience.
- mkw5053 6mo agoCompletely agree, I guess I meant if you're writing an application you're going to be a lot less productive using Idris.