Inklings: a tumblelog

Linear types make performance more predictable