News for hackers. Stuff that matters.

A comment on Types as Interfaces. Parent comment

Re:Types as Interfaces by pmarreck on Tuesday July 23, 2024 @09:22AM (#41045747)
ah, I think I misunderstood. Still getting through the Idris book :)
[ Parent | on HN ]

There are no comments on this comment yet.