Show HN:Linear algebra in F# with type-level dimension sizes and static checking | Dark Hacker News