Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
intermediate types
intermediate types
· Changes
Page history
Re-run import
authored
Mar 29, 2019
by
Tobias Dammers
Hide whitespace changes
Inline
Side-by-side
intermediate-types.md
View page @
cc1a7a6a
...
...
@@ -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
...
...