Show HN:Linear algebra in F# with type-level dimension sizes and static checking
bit.ly