| ... | ... | @@ -27,6 +27,7 @@ Organized following the structure of the [ Haskell 98 Report](http://www.haskell |
|
|
|
- [FlexibleContexts](flexible-contexts)
|
|
|
|
- User-Defined Datatypes
|
|
|
|
|
|
|
|
- [ExistingRecords](existing-records)
|
|
|
|
- [EmptyDataDecls](empty-data-decls)
|
|
|
|
- [PolymorphicComponents](polymorphic-components)
|
|
|
|
- [ExistentialQuantification](existential-quantification)
|
| ... | ... | @@ -47,8 +48,7 @@ Organized following the structure of the [ Haskell 98 Report](http://www.haskell |
|
|
|
|
|
|
|
- [Rank2Types](rank2-types) or [RankNTypes](rank-n-types)
|
|
|
|
- [ScopedTypeVariables](scoped-type-variables)
|
|
|
|
- [ExistingRecords](existing-records)
|
|
|
|
- Function and Pattern Bindings
|
|
|
|
- Static Semantics of Function and Pattern Bindings
|
|
|
|
|
|
|
|
- [RelaxedDependencyAnalysis](relaxed-dependency-analysis)
|
|
|
|
- [Kind Inference](kind-inference)
|
| ... | ... | @@ -87,7 +87,7 @@ Organized following the structure of the [ Haskell 98 Report](http://www.haskell |
|
|
|
- [NewLibraryCandidates](new-library-candidates)
|
|
|
|
- [LibraryVersioning](library-versioning)
|
|
|
|
|
|
|
|
## Addendum
|
|
|
|
## FFI Addendum
|
|
|
|
|
|
|
|
|
|
|
|
- [ForeignFunctionInterface](foreign-function-interface)
|
| ... | ... | |
