├── .gitignore ├── README.md ├── package.json ├── src ├── Bool.ts ├── Nat.ts ├── Vector.ts └── index.ts └── tsconfig.json /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atennapel/ts-typelevel-computation/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atennapel/ts-typelevel-computation/HEAD/README.md -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atennapel/ts-typelevel-computation/HEAD/package.json -------------------------------------------------------------------------------- /src/Bool.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atennapel/ts-typelevel-computation/HEAD/src/Bool.ts -------------------------------------------------------------------------------- /src/Nat.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atennapel/ts-typelevel-computation/HEAD/src/Nat.ts -------------------------------------------------------------------------------- /src/Vector.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atennapel/ts-typelevel-computation/HEAD/src/Vector.ts -------------------------------------------------------------------------------- /src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atennapel/ts-typelevel-computation/HEAD/src/index.ts -------------------------------------------------------------------------------- /tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/atennapel/ts-typelevel-computation/HEAD/tsconfig.json --------------------------------------------------------------------------------