├── .gitattributes ├── .gitignore ├── .paket ├── paket.bootstrapper.exe └── paket.targets ├── .travis.yml ├── DependentTypes.sln ├── LICENSE.txt ├── README.md ├── RELEASE_NOTES.md ├── appveyor.yml ├── docs ├── content │ ├── index.fsx │ └── tutorial.fsx ├── files │ └── img │ │ ├── logo-template.pdn │ │ └── logo.png └── tools │ ├── generate.fsx │ └── templates │ └── template.cshtml ├── lib └── README.md ├── paket.dependencies ├── paket.lock ├── src └── DependentTypes │ ├── AssemblyInfo.fs │ ├── DependentTypes.fsproj │ ├── Numbers.fs │ ├── Script.fsx │ ├── Strings.fs │ ├── paket.references │ └── paket.template └── tests └── DependentTypes.Tests ├── BoundedNumbers.Tests.fs ├── BoundedStrings.Tests.fs ├── DependentTypes.Tests.fsproj └── paket.references /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/.gitignore -------------------------------------------------------------------------------- /.paket/paket.bootstrapper.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/.paket/paket.bootstrapper.exe -------------------------------------------------------------------------------- /.paket/paket.targets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/.paket/paket.targets -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/.travis.yml -------------------------------------------------------------------------------- /DependentTypes.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/DependentTypes.sln -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/README.md -------------------------------------------------------------------------------- /RELEASE_NOTES.md: -------------------------------------------------------------------------------- 1 | #### 0.0.1-beta - October 24 2013 2 | * Initial release 3 | -------------------------------------------------------------------------------- /appveyor.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/appveyor.yml -------------------------------------------------------------------------------- /docs/content/index.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/docs/content/index.fsx -------------------------------------------------------------------------------- /docs/content/tutorial.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/docs/content/tutorial.fsx -------------------------------------------------------------------------------- /docs/files/img/logo-template.pdn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/docs/files/img/logo-template.pdn -------------------------------------------------------------------------------- /docs/files/img/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/docs/files/img/logo.png -------------------------------------------------------------------------------- /docs/tools/generate.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/docs/tools/generate.fsx -------------------------------------------------------------------------------- /docs/tools/templates/template.cshtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/docs/tools/templates/template.cshtml -------------------------------------------------------------------------------- /lib/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/lib/README.md -------------------------------------------------------------------------------- /paket.dependencies: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/paket.dependencies -------------------------------------------------------------------------------- /paket.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/paket.lock -------------------------------------------------------------------------------- /src/DependentTypes/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/src/DependentTypes/AssemblyInfo.fs -------------------------------------------------------------------------------- /src/DependentTypes/DependentTypes.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/src/DependentTypes/DependentTypes.fsproj -------------------------------------------------------------------------------- /src/DependentTypes/Numbers.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/src/DependentTypes/Numbers.fs -------------------------------------------------------------------------------- /src/DependentTypes/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/src/DependentTypes/Script.fsx -------------------------------------------------------------------------------- /src/DependentTypes/Strings.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/src/DependentTypes/Strings.fs -------------------------------------------------------------------------------- /src/DependentTypes/paket.references: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/src/DependentTypes/paket.references -------------------------------------------------------------------------------- /src/DependentTypes/paket.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/src/DependentTypes/paket.template -------------------------------------------------------------------------------- /tests/DependentTypes.Tests/BoundedNumbers.Tests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/tests/DependentTypes.Tests/BoundedNumbers.Tests.fs -------------------------------------------------------------------------------- /tests/DependentTypes.Tests/BoundedStrings.Tests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/tests/DependentTypes.Tests/BoundedStrings.Tests.fs -------------------------------------------------------------------------------- /tests/DependentTypes.Tests/DependentTypes.Tests.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/tests/DependentTypes.Tests/DependentTypes.Tests.fsproj -------------------------------------------------------------------------------- /tests/DependentTypes.Tests/paket.references: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/caindy/DependentTypesProvider/HEAD/tests/DependentTypes.Tests/paket.references --------------------------------------------------------------------------------