home / Programming / qk_P8piUclI
David Binder - Is There a Future for a Formally Specified Haskell Report
6community score
1mentions
1discussions
1sharers
1days active
—story pointsall mentions are comments
Hacker News discussions
1 independent thread11 year old unsoundness bugs found in Rust borrow checker
“There is some work on that: https://www.youtube.com/watch?v=qk_P8piUclI”— tome, when sharing this video · read the comment ↗+ 1 comment mention in this thread ↗