Christopher Atkins

Results 1 repositories owned by Christopher Atkins

DependentTypesProvider

51
Stars
7
Forks
Watchers

limited dependent typing via F# Type Provider

verified publisher icon caindy