Rao Xiaojia

Just another status update on subtyping -- I went through some lengthy email discussions with Andreas and Conrad regarding certain subtyping rules throughout the last week; in the end we...

Update: This is finally done! Subtyping proved to be require a lot of overhauls in some existing proof structures (together with the basically reimplemented version of type checker). More clean-ups...

Packaging for an Opam package is something that I've been having in mind as well for many reasons (especially after a previous incident where esy updated their overrides which messed...

This is now marked as resolved as part of merging #24 and #26.

> @JasonGross I reported this a while back, so I can't quite remember what the versions were at the time. I also haven't tested whether the issue is still present....

To add a bit to the SpecTec part, we've been back to active development of the Coq backend (as well as something more general) after the 2.0 update last month...