... | ... | @@ -9,6 +9,7 @@ This is the root page for examples and issues about functional dependencies in G |
|
|
* [Single-choice inference](Functional-dependencies-in-GHC/Single-choice-inference)
|
|
|
* [Wiggly arrows](Functional-dependencies-in-GHC/Wiggly-arrows)
|
|
|
* [AntC's proposal](Functional-dependencies-in-GHC/AntC-proposal)
|
|
|
* [Why (most) FunDeps are tantamount to instance selection](Functional-dependencies-in-GHC/Background-in-database-theory)
|
|
|
|
|
|
The rest this page gathers other useful links.
|
|
|
|
... | ... | |