3 packages returned for Tags:"type-level"

Package type
Sort by
Options
  • 1,052 total downloads
  • last updated 5/11/2021
  • Latest version: 0.2.8
  • fsharp type-level
Sylvester number-parameterized collection types. These collection types can perform static verification of lengths and indices as long as some information about these values is available at compile time.