Changes · type nats · Wiki · Glasgow Haskell Compiler / GHC · GitLab · GHC

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

Show whitespace changes

Inline Side-by-side

View page @ ff7dca68

...	@@ -8,6 +8,7 @@ This page collects information on how to work with type-level natural numbers, a	...	@@ -8,6 +8,7 @@ This page collects information on how to work with type-level natural numbers, a
	- [Type-Level Naturals Basics](type-nats/basics)		- [Type-Level Naturals Basics](type-nats/basics)
	- [Natural Numbers: From Values to Types](type-nats/naturals)		- [Natural Numbers: From Values to Types](type-nats/naturals)
	- [Type-Level Operations](type-nats/operations)		- [Type-Level Operations](type-nats/operations)
			- [Examples](type-nats/examples)

	## Notes on Design		## Notes on Design

...		...
...		...