Should we submit this to JOSE?

[moorepants]

I think that this tutorial could be accepted at JOSE:

http://jose.theoj.org

I also don't think it'd need much work. We'd just need to write the short paper.

@asmeurer @bjodah @ixjlyons what do you all think?