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 still_grokking on Saturday January 21, 2023 @03:19AM (#34464819)
Maybe a better example would be `z: [A] -> [B] -> [(A, B)]`.
[ Parent | on HN ]

There are no comments on this comment yet.