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 mcphage on Saturday January 21, 2023 @03:34PM (#34470191)
That makes sense, but it also seems like a “the cause of, and solution to, all of life’s problems” sort of situation.
[ Parent | on HN ]

There are no comments on this comment yet.