content: dead-simple-haskell fix table
This commit is contained in:
parent
266494c883
commit
92efb28cc5
|
@ -383,8 +383,8 @@ Type | Inhibitants
|
|||
---------- | -----------
|
||||
() | 1
|
||||
Bool | 2
|
||||
() | Bool | 1 + 2 = 3
|
||||
H' | Bool | 3 + 2 = 5
|
||||
() \| Bool | 1 + 2 = 3
|
||||
H' \| Bool | 3 + 2 = 5
|
||||
|
||||
```haskell ignore
|
||||
data Either a b = Left a | Right b
|
||||
|
|
|
@ -383,8 +383,8 @@ Type | Inhibitants
|
|||
---------- | -----------
|
||||
() | 1
|
||||
Bool | 2
|
||||
() | Bool | 1 + 2 = 3
|
||||
H' | Bool | 3 + 2 = 5
|
||||
() \| Bool | 1 + 2 = 3
|
||||
H' \| Bool | 3 + 2 = 5
|
||||
|
||||
```haskell ignore
|
||||
data Either a b = Left a | Right b
|
||||
|
|
Loading…
Reference in a new issue