News for hackers. Stuff that matters.
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. :)

There are no comments on this comment yet.