23 ms·

Looking forward to Dependent Haskell for linear algebra, and seeing what existing stuff can be retrofit.