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 @08:48AM (#34466371)
https://doc.rust-lang.org/reference/procedural-macros.html#d...
[ Parent | on HN ]

There are no comments on this comment yet.