Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
injective type families
injective type families
· Changes
Page history
Fix typo.
authored
Sep 03, 2015
by
ntc2
Hide whitespace changes
Inline
Side-by-side
injective-type-families.md
View page @
cb393760
...
...
@@ -55,7 +55,7 @@ typeinstanceGIntCharBool=BooltypeinstanceGIntCharInt=BooltypeinstanceGBoolIntInt
```
typefamilyPlus a b wherePlusZ n = n
Plus(S m) n =S(Plus
n m
)
Plus(S m) n =S(Plus
m n
)
```
>
...
...