News for hackers. Stuff that matters.

A comment on The problem of effects in Rust (2020). Parent comment

Re:The problem of effects in Rust (2020) by cies on Saturday August 28, 2021 @09:08AM (#28337732)
Idris is great.
[ Parent | on HN ]

There are no comments on this comment yet.