Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Type functions syn tc
second
second
· Changes
Page history
Re-run import
authored
Mar 29, 2019
by
Tobias Dammers
Hide whitespace changes
Inline
Side-by-side
type-functions-syn-tc/second.md
View page @
cc1a7a6a
...
...
@@ -256,8 +256,12 @@ T t1 ....tn b /\ C2
where s1 translated to (C1
\|
a)
>
>
> s2 translated to (C1 \| n)
>
>
Then,
...
...