| ... | ... | @@ -20,7 +20,7 @@ This page collects information on how to work with type-level literals, as imple |
|
|
|
## Notes on the Implementation
|
|
|
|
|
|
|
|
- [Implementation of GHC.TypeLits](type-nats/implementation)
|
|
|
|
- [ Axioms for type-level type operators](http://github.com/yav/tc-solver/blob/master/docs/axioms.md)
|
|
|
|
- [The solver for type-level naturals](commentary/compiler/type-nat-solver)
|
|
|
|
|
|
|
|
## Source Code
|
|
|
|
|
| ... | ... | @@ -33,4 +33,5 @@ This page collects information on how to work with type-level literals, as imple |
|
|
|
|
|
|
|
- [Natural Numbers: From Values to Types](type-nats/naturals)
|
|
|
|
- More advanced example: [ https://github.com/yav/memory-arrays/tree/master](https://github.com/yav/memory-arrays/tree/master)
|
|
|
|
- [Examples](type-nats/examples) |
|
|
\ No newline at end of file |
|
|
|
- [Examples](type-nats/examples)
|
|
|
|
- [ Axioms for type-level type operators](http://github.com/yav/tc-solver/blob/master/docs/axioms.md) |
|
|
\ No newline at end of file |
