.github/Update build.yaml6 years ago docs/Rough documentation for constructing orderings6 years ago nix/Upgrade Haskell.nix and remove data-serializer workaround6 years ago src/Make constructHKD work the same for product and sum types5 years ago tests/Make Rel8able have kind ((X -> Type) -> Type) -> Constraint6 years ago .gitignoreThe beginning of rel8 1.06 years ago LICENSEThe beginning of rel8 1.06 years ago README.mdCreate README.md6 years ago cabal.projectAdd allow-newer: Cabal for entropy6 years ago cabal.project.haskell-nixSketch of HKD-lifting of Generic types6 years ago default.nixSketch of HKD-lifting of Generic types6 years ago rel8.cabalUnify HType and HIdentity6 years ago shell.nixGHC 9 support6 years ago