... | ... | @@ -120,3 +120,4 @@ End of NOTE |
|
|
- [A first (naive) attempt](type-functions-syn-tc/naive)
|
|
|
- [A second attempt](type-functions-syn-tc/second)
|
|
|
- [Type equations in GHC](type-functions-syn-tc/ghc)
|
|
|
- [Plan MS](type-functions-syn-tc/plan-ms) |
|
|
\ No newline at end of file |