DependentTypesProvider
DependentTypesProvider copied to clipboard
limited dependent typing via F# Type Provider
:wave: GitHub disabled TLS 1.0 and TLS 1.1 on February 22nd, which affected Paket's bootstrapper. It needs to be updated to 5.142 or later. You can read more about this...
I see there's no updates for two years, even though there's a roadmap in the readme. It this project dead? My first impression is that this seems like a *very*...
Would you be interested in a PR to provide bounded collection types?
