Hacker News new | ask | show | jobs
by SkiFire13 491 days ago
The Rust one seems a specific bug in the implementation, while the Agda one seems more like a fundamental flaw caused by allowing aliased mutation though.