Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
intermediate types
intermediate types
· Changes
Page history
Fix table and code layout
authored
Mar 21, 2019
by
Tobias Dammers
Hide whitespace changes
Inline
Side-by-side
intermediate-types.md
View page @
84188612
...
...
@@ -232,6 +232,10 @@ Where the 4th and 5th arguments given to `T1` are the reflexive coercions
(a,b) :: (a,b) :=: (a,b)
```
### Representation of coercion assumptions
...
...