2 ms·Yup, I didn't know there was an ArXiv version too... That can go on the repo too I guess...by HaoZeke 9y agoYup, I didn't know there was an ArXiv version too... That can go on the repo too I guess...