Stories by jmiven
It looks like that "new odoc model" mentionned in Appendix A has since been released, in v1.5.2.
The [last story about Rash](https://lobste.rs/s/dz2ltf/rash_reckless_racket_shell) was submitted over a year ago. Since then, this paper was published.