Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
type functions syn tc
type functions syn tc
· Changes
Page history
Edit TypeFunctionsSynTC
authored
Apr 06, 2008
by
chak
Hide whitespace changes
Inline
Side-by-side
type-functions-syn-tc.md
View page @
798c0258
# 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.
In a next step, we wish to add type functions to
...
...