git.iko.soy/typerep-map
on 8dadff2 help sign in
typerep-map
3 folders, 8 files
benchmark/Use type-level Nat src/[WIP] Implement TypeRepVector test/Change TypeRepMap to TypeRepMap f (k -> *) .gitignoreCreate the project .travis.ymlCreate the project CHANGELOG.mdCreate the project LICENSECreate the project README.mdCreate the project Setup.hsCreate the project stack.yamlAdd simple tests for TypeRepMap typerep-map.cabal[WIP] Implement TypeRepVector