F# Linear algebra with type-level dimensions and static checks

notebooks.azure.com