Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
Many issues in the wiki were unnecessarily links:
```
... patch posted in [\#1346](#1346).
```
This rewrites these as `#1346` using
```bash
sed -i -r -e 's/\[\\#([0-9]+)\]\([^)]+\/\1\)/#\1/g' $(find -iname '*.md')
```
And manually eyeballing the result.
This page is the main root page for a re-design of the `Typeable` class, to make **type-indexed** type representations.
The main ticket for tracking progress is [\#11011](https://gitlab.haskell.org/ghc/ghc/issues/11011). There is currently an active implementation effort which is being documented at [Typeable/BenGamari](typeable/ben-gamari)
The main ticket for tracking progress is #11011. There is currently an active implementation effort which is being documented at [Typeable/BenGamari](typeable/ben-gamari)
Relevant links
...
...
@@ -341,7 +341,7 @@ kindRep :: TTypeRep (a :: k) -> TTypeRep k
```
in the API. I (Richard) conjecture that this is all possible without kind equalities, but would be rather awkward due to GHC's insistence that kind parameters be implicit. See [\#10343](https://gitlab.haskell.org/ghc/ghc/issues/10343), which inspired this bit.
in the API. I (Richard) conjecture that this is all possible without kind equalities, but would be rather awkward due to GHC's insistence that kind parameters be implicit. See #10343, which inspired this bit.
