News for hackers. Stuff that matters.

A comment on "Why don't you use dependent types?". Parent comment

Re:"Why don't you use dependent types?" by throwthrow0987 on Tuesday November 04, 2025 @03:52AM (#45808799)
Thanks, very clear explanation.
[ Parent | on HN ]

There are no comments on this comment yet.