Hacker News Reader

Wouldn't the borrow checking be simpler when built on top of linear types?

I don't think the choice of linear vs affine makes much of a difference, but I could be mistaken.