.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/Eliminate the need for Array1D (i.e., unify with [])5 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.cabalEliminate the need for Array1D (i.e., unify with [])5 years ago shell.nixGHC 9 support6 years ago