Thanks for the pointer, Leo. Also, thank you for the mithril blog. It is amazing. Everybody else, if you haven't read the mithril blog[1], YOU SHOULD BE READI

Thanks for the pointer, Leo. Also, thank you for the mithril blog. It is amazing. Everybody else, if you haven't read the mithril blog[1], YOU SHOULD BE READING THE MITHRIL BLOG. Even if you never plan to use mithril, you'll probably learn something interesting. 1: https://lhorie.github.io/mithril-blog/ https://lhorie.github.io/mithril-blog/