|
# Type Checking with Indexed Type Synonyms
|
|
# Type Checking with Indexed Type Synonyms
|
|
|
|
|
|
|
|
|
|
|
|
>
|
|
|
|
>
|
|
> **This is OLD and OUT OF DATE material.**
|
|
> **This is OLD and OUT OF DATE material.**
|
|
|
|
>
|
|
|
|
>
|
|
|
|
|
|
|
|
|
|
GHC has now F<sub>C</sub> as its typed intermediate language.
|
|
GHC has now F<sub>C</sub> as its typed intermediate language.
|
... | | ... | |