HoTT submissions to CJM and CMB

[Chris Kapulkin]

Hi y'all,

I'd like to encourage those of you working on mathematical aspects of
HoTT to submit your relevant work to the Canadian Journal of Mathematics
(more than 20 pages) and the Canadian Mathematical Bulletin (at most 20
pages).

https://www.cambridge.org/core/journals/canadian-journal-of-mathematics
https://www.cambridge.org/core/journals/canadian-mathematical-bulletin

It's good for our community to be visible in general math journals such
as CJM and CMB, and now there is, shall we say, a sympathetic editor.

Best,
Chris