|
# Type Checking with Indexed Type Synonyms
|
|
# 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.
|
|
GHC has now F<sub>C</sub> as its typed intermediate language.
|
|
In a next step, we wish to add type functions to
|
|
In a next step, we wish to add type functions to
|
... | | ... | |