News for hackers. Stuff that matters.

A comment on Idris: A Language for Type-Driven Development. Parent comment

Re:Idris: A Language for Type-Driven Development by valenterry on Saturday January 21, 2023 @10:43AM (#34467151)
Hahaha, which name do you go by in Heise forums? I wonder if I remember you too.
[ Parent | on HN ]
Re:Idris: A Language for Type-Driven Development by still_grokking on Saturday January 21, 2023 @11:28AM (#34467548)
I prefer not to link accounts, but we've talked not only once. :-)

I've recognized your handle as I remember you as being one of the few people there who actually know what they're talking about when it comes to software engineering.

But I've also moved on. The overall level has dropped to a bottomless pit by now. It's no fun anymore.

[ Parent | on HN ]
Re:Idris: A Language for Type-Driven Development by valenterry on Saturday January 21, 2023 @12:26PM (#34468072)
> I prefer not to link accounts, but we've talked not only once. :-)

Fair enough and thank you for the kind words. :)

[ Parent | on HN ]