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 speed_spread on Monday February 27, 2023 @03:07PM (#34961207)
Anonymous union types? Scala has that. So did Ceylon.
[ Parent | on HN ]

There are no comments on this comment yet.