|
|
# Type Checking with Indexed Type Synonyms
|
|
|
|
|
|
|
|
|
>
|
|
|
>
|
|
|
> **This is OLD and OUT OF DATE material.**
|
|
|
>
|
|
|
>
|
|
|
|
|
|
|
|
|
GHC has now F<sub>C</sub> as its typed intermediate language.
|
... | ... | @@ -37,4 +42,4 @@ However, type checking with type functions is challenging. |
|
|
- [Plan MS revised again](type-functions-syn-tc/plan-ms-revised2)
|
|
|
- [Brief comparison](type-functions-syn-tc/comparison)
|
|
|
- [CHR-style simplification for GHC](type-functions-syn-tc/ghc-chr)
|
|
|
- [Examples](type-functions-syn-tc/ghc-chr-examples) |
|
|
\ No newline at end of file |
|
|
- [Examples](type-functions-syn-tc/ghc-chr-examples) |