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 ok_dad on Friday January 20, 2023 @05:49PM (#34461210)
Yea, at work mypy fails quite often on the old code there.
[ Parent | on HN ]

There are no comments on this comment yet.