4 ms·This is really cool, and quite impressive for a 19 year old. Thank you for your explanation.by dependenttypes 7y agoThis is really cool, and quite impressive for a 19 year old. Thank you for your explanation.