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 tralarpa on Monday February 27, 2023 @09:15AM (#34956622)
My bad. In the newer edition they called it "enumerated types":

http://pascal.hansotten.com/uploads/books/Pascal_User_Manual...

I didn't realize that "scalar types" in the first edition were the same thing.

[ Parent | on HN ]

There are no comments on this comment yet.