... | @@ -83,6 +83,7 @@ The above commentary covers the source code of GHC. For material that doesn't co |
... | @@ -83,6 +83,7 @@ The above commentary covers the source code of GHC. For material that doesn't co |
|
|
|
|
|
- Notes on proposed or in progress (but out of tree) GHC compiler features:
|
|
- Notes on proposed or in progress (but out of tree) GHC compiler features:
|
|
|
|
|
|
|
|
- Contracts in Haskell?
|
|
- [Agda-style holes in terms](holes) which supports writing partial programs.
|
|
- [Agda-style holes in terms](holes) which supports writing partial programs.
|
|
- [Records](records)
|
|
- [Records](records)
|
|
- [New coercion axioms design](new-axioms)
|
|
- [New coercion axioms design](new-axioms)
|
... | | ... | |