Linear algebra in F# with type-level dimension sizes
notebooks.azure.com