... | ... | @@ -67,6 +67,7 @@ Logically, we can express the above as follows: |
|
|
|
|
|
|=
|
|
|
|
|
|
|
|
|
(T [Int] = S [Int]) /\ -- local assumptions
|
|
|
(T Int = S Int)
|
|
|
|
... | ... | @@ -120,4 +121,5 @@ 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 |
|
|
- [Plan MS](type-functions-syn-tc/plan-ms)
|
|
|
- [Plan MS revised](type-functions-syn-tc/plan-ms-revised) |
|
|
\ No newline at end of file |