├── .github └── workflows │ └── haskell-ci.yml ├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── Setup.hs ├── cabal.project ├── doc └── ghc-typelits-natnormalise-hcar.tex ├── ghc-typelits-natnormalise.cabal ├── src └── GHC │ └── TypeLits │ ├── Normalise.hs │ └── Normalise │ ├── Compat.hs │ ├── SOP.hs │ └── Unify.hs └── tests ├── ErrorTests.hs └── Tests.hs /.github/workflows/haskell-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/.github/workflows/haskell-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/cabal.project -------------------------------------------------------------------------------- /doc/ghc-typelits-natnormalise-hcar.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/doc/ghc-typelits-natnormalise-hcar.tex -------------------------------------------------------------------------------- /ghc-typelits-natnormalise.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/ghc-typelits-natnormalise.cabal -------------------------------------------------------------------------------- /src/GHC/TypeLits/Normalise.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/src/GHC/TypeLits/Normalise.hs -------------------------------------------------------------------------------- /src/GHC/TypeLits/Normalise/Compat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/src/GHC/TypeLits/Normalise/Compat.hs -------------------------------------------------------------------------------- /src/GHC/TypeLits/Normalise/SOP.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/src/GHC/TypeLits/Normalise/SOP.hs -------------------------------------------------------------------------------- /src/GHC/TypeLits/Normalise/Unify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/src/GHC/TypeLits/Normalise/Unify.hs -------------------------------------------------------------------------------- /tests/ErrorTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/tests/ErrorTests.hs -------------------------------------------------------------------------------- /tests/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clash-lang/ghc-typelits-natnormalise/HEAD/tests/Tests.hs --------------------------------------------------------------------------------