News for hackers. Stuff that matters.

A comment on Idris 2 0.6.0 is now available for the JVM. Parent comment

Re:Idris 2 0.6.0 is now available for the JVM by pron on Tuesday February 28, 2023 @06:59AM (#34968355)
Function types are structural in Haskell.
[ Parent | on HN ]

There are no comments on this comment yet.