FSharp.Dependent (nuget): Simulates dependent types with type-level naturals and inline functions. For example: fixed-length vector types (i.e. type-safe List.nth!)
Keywords: f#|fsharp|dependenttypes|fixedlist|validation