git.iko.soy/typerep-map
on develop-nats help sign in
typerep-map
3 folders, 8 files
benchmark/Use type-level Nat src/Change TypeRepMap to TypeRepMap f (k -> *) 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.cabalUse type-level Nat