... | ... | @@ -73,30 +73,30 @@ Lorem ipsum... |
|
|
|
|
|
# References
|
|
|
|
|
|
- \[[ExplicitTypeApplication](explicit-type-application)\] [https://ghc.haskell.org/trac/ghc/wiki/ExplicitTypeApplication](https://ghc.haskell.org/trac/ghc/wiki/ExplicitTypeApplication)
|
|
|
- \[ImplicitCallstacks\] [https://ghc.haskell.org/trac/ghc/wiki/ExplicitCallStack/ImplicitLocations](https://ghc.haskell.org/trac/ghc/wiki/ExplicitCallStack/ImplicitLocations)
|
|
|
- [\[ImprovedLLVMBackend](improved-llvm-backend)\] [https://ghc.haskell.org/trac/ghc/wiki/ImprovedLLVMBackend](https://ghc.haskell.org/trac/ghc/wiki/ImprovedLLVMBackend)
|
|
|
- \[[InjectiveTypeFamilies](injective-type-families)\] [https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies](https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies)
|
|
|
- \[KindEqualities\] [https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell/Phase1](https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell/Phase1)
|
|
|
- \[[OverloadedRecordFields](overloaded-record-fields)\] [https://ghc.haskell.org/trac/ghc/wiki/OverloadedRecordFields](https://ghc.haskell.org/trac/ghc/wiki/OverloadedRecordFields)
|
|
|
|
|
|
- \[[ApiAnnotations](api-annotations)\] [https://ghc.haskell.org/trac/ghc/wiki/ApiAnnotations](https://ghc.haskell.org/trac/ghc/wiki/ApiAnnotations)
|
|
|
- \[[ApplicativeDo](applicative-do)\] [https://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo](https://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo)
|
|
|
- \[[ExplicitTypeApplication](explicit-type-application)\] [https://gitlab.haskell.org/trac/ghc/wiki/ExplicitTypeApplication](https://gitlab.haskell.org/trac/ghc/wiki/ExplicitTypeApplication)
|
|
|
- \[ImplicitCallstacks\] [https://gitlab.haskell.org/trac/ghc/wiki/ExplicitCallStack/ImplicitLocations](https://gitlab.haskell.org/trac/ghc/wiki/ExplicitCallStack/ImplicitLocations)
|
|
|
- [\[ImprovedLLVMBackend](improved-llvm-backend)\] [https://gitlab.haskell.org/trac/ghc/wiki/ImprovedLLVMBackend](https://gitlab.haskell.org/trac/ghc/wiki/ImprovedLLVMBackend)
|
|
|
- \[[InjectiveTypeFamilies](injective-type-families)\] [https://gitlab.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies](https://gitlab.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies)
|
|
|
- \[KindEqualities\] [https://gitlab.haskell.org/trac/ghc/wiki/DependentHaskell/Phase1](https://gitlab.haskell.org/trac/ghc/wiki/DependentHaskell/Phase1)
|
|
|
- \[[OverloadedRecordFields](overloaded-record-fields)\] [https://gitlab.haskell.org/trac/ghc/wiki/OverloadedRecordFields](https://gitlab.haskell.org/trac/ghc/wiki/OverloadedRecordFields)
|
|
|
|
|
|
- \[[ApiAnnotations](api-annotations)\] [https://gitlab.haskell.org/trac/ghc/wiki/ApiAnnotations](https://gitlab.haskell.org/trac/ghc/wiki/ApiAnnotations)
|
|
|
- \[[ApplicativeDo](applicative-do)\] [https://gitlab.haskell.org/trac/ghc/wiki/ApplicativeDo](https://gitlab.haskell.org/trac/ghc/wiki/ApplicativeDo)
|
|
|
- \[Backpack\] TODOFIXME
|
|
|
- \[[DistributedHaskell](distributed-haskell)\] [https://ghc.haskell.org/trac/ghc/wiki/DistributedHaskell](https://ghc.haskell.org/trac/ghc/wiki/DistributedHaskell)
|
|
|
- \[DWARF\] [https://ghc.haskell.org/trac/ghc/wiki/DWARF](https://ghc.haskell.org/trac/ghc/wiki/DWARF)
|
|
|
- \[[DistributedHaskell](distributed-haskell)\] [https://gitlab.haskell.org/trac/ghc/wiki/DistributedHaskell](https://gitlab.haskell.org/trac/ghc/wiki/DistributedHaskell)
|
|
|
- \[DWARF\] [https://gitlab.haskell.org/trac/ghc/wiki/DWARF](https://gitlab.haskell.org/trac/ghc/wiki/DWARF)
|
|
|
- [FCkinds](http://www.seas.upenn.edu/~eir/papers/2013/fckinds/fckinds-extended.pdf) System FC with explicit kind equality, Weirich, Hsu, and Eisenberg, ICFP 13. [http://www.seas.upenn.edu/\~eir/papers/2013/fckinds/fckinds-extended.pdf](http://www.seas.upenn.edu/~eir/papers/2013/fckinds/fckinds-extended.pdf)
|
|
|
- \[[GhcApi](ghc-api)\] [https://ghc.haskell.org/trac/ghc/wiki/GhcApi](https://ghc.haskell.org/trac/ghc/wiki/GhcApi)
|
|
|
- [\[ImprovedLLVMBackend](improved-llvm-backend)\] [https://ghc.haskell.org/trac/ghc/wiki/ImprovedLLVMBackend](https://ghc.haskell.org/trac/ghc/wiki/ImprovedLLVMBackend)
|
|
|
- \[[InjectiveTypeFamilies](injective-type-families)\] [https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies](https://ghc.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies)
|
|
|
- \[[GhcApi](ghc-api)\] [https://gitlab.haskell.org/trac/ghc/wiki/GhcApi](https://gitlab.haskell.org/trac/ghc/wiki/GhcApi)
|
|
|
- [\[ImprovedLLVMBackend](improved-llvm-backend)\] [https://gitlab.haskell.org/trac/ghc/wiki/ImprovedLLVMBackend](https://gitlab.haskell.org/trac/ghc/wiki/ImprovedLLVMBackend)
|
|
|
- \[[InjectiveTypeFamilies](injective-type-families)\] [https://gitlab.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies](https://gitlab.haskell.org/trac/ghc/wiki/InjectiveTypeFamilies)
|
|
|
- \[KindEqualities\] TODOFIXME
|
|
|
- [Records/OverloadedRecordFields](records/overloaded-record-fields)[https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields](https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields)
|
|
|
- \[[PartialTypeSignatures](partial-type-signatures)\] [https://ghc.haskell.org/trac/ghc/wiki/PartialTypeSignatures](https://ghc.haskell.org/trac/ghc/wiki/PartialTypeSignatures)
|
|
|
- [Records/OverloadedRecordFields](records/overloaded-record-fields)[https://gitlab.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields](https://gitlab.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields)
|
|
|
- \[[PartialTypeSignatures](partial-type-signatures)\] [https://gitlab.haskell.org/trac/ghc/wiki/PartialTypeSignatures](https://gitlab.haskell.org/trac/ghc/wiki/PartialTypeSignatures)
|
|
|
- [\[PPC64-NCG](https://phabricator.haskell.org/D629)\] [https://phabricator.haskell.org/D629](https://phabricator.haskell.org/D629)
|
|
|
- [\[Prelude710](prelude710)\] [https://ghc.haskell.org/trac/ghc/wiki/prelude710](https://ghc.haskell.org/trac/ghc/wiki/prelude710)
|
|
|
- [\[Shake](building/shake)\] [https://ghc.haskell.org/trac/ghc/wiki/Building/Shake](https://ghc.haskell.org/trac/ghc/wiki/Building/Shake)
|
|
|
- \[[StaticPointers](static-pointers)\] [https://ghc.haskell.org/trac/ghc/wiki/StaticPointers](https://ghc.haskell.org/trac/ghc/wiki/StaticPointers)
|
|
|
- [\[TCPlugins](plugins/type-checker)\] [https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker](https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker)
|
|
|
- [\[Prelude710](prelude710)\] [https://gitlab.haskell.org/trac/ghc/wiki/prelude710](https://gitlab.haskell.org/trac/ghc/wiki/prelude710)
|
|
|
- [\[Shake](building/shake)\] [https://gitlab.haskell.org/trac/ghc/wiki/Building/Shake](https://gitlab.haskell.org/trac/ghc/wiki/Building/Shake)
|
|
|
- \[[StaticPointers](static-pointers)\] [https://gitlab.haskell.org/trac/ghc/wiki/StaticPointers](https://gitlab.haskell.org/trac/ghc/wiki/StaticPointers)
|
|
|
- [\[TCPlugins](plugins/type-checker)\] [https://gitlab.haskell.org/trac/ghc/wiki/Plugins/TypeChecker](https://gitlab.haskell.org/trac/ghc/wiki/Plugins/TypeChecker)
|
|
|
- [\[TCSMT](https://github.com/yav/type-nat-solver)\] [https://github.com/yav/type-nat-solver](https://github.com/yav/type-nat-solver)
|
|
|
- [\[TCSMT_paper](https://github.com/yav/type-nat-solver/raw/master/docs/paper.pdf)\] [https://github.com/yav/type-nat-solver/raw/master/docs/paper.pdf](https://github.com/yav/type-nat-solver/raw/master/docs/paper.pdf)
|
|
|
- [Typeable](typeable)[https://ghc.haskell.org/trac/ghc/wiki/Typeable](https://ghc.haskell.org/trac/ghc/wiki/Typeable) |
|
|
\ No newline at end of file |
|
|
- [Typeable](typeable)[https://gitlab.haskell.org/trac/ghc/wiki/Typeable](https://gitlab.haskell.org/trac/ghc/wiki/Typeable) |
|
|
\ No newline at end of file |