Commit 650d7b1

committed

Fix typos in PolyKinds exercise

1 parent 1ea0570 commit 650d7b1Copy full SHA for 650d7b1

File tree

+10

-3

lines changed

+10

-3

lines changed

Lines changed: 9 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -144,7 +144,7 @@ data Strings (n :: Nat) where`
`144`	`144`	`-- example`
`145`	`145`	`-- = [ Sigma SZ SNil`
`146`	`146`	`-- , Sigma (SS SZ) ("hi" :> SNil)`
`147`		`--- , Sigma (SS (SS SZ)) ("hello" :> "world")`
	`147`	`+-- , Sigma (SS (SS SZ)) ("hello" :> ("world" :> SNil))`
`148`	`148`	`-- ]`
`149`	`149`	`-- @`
`150`	`150`
`@@ -166,7 +166,14 @@ data Vector (a :: Type) (n :: Nat) where -- @n@ and @a@ flipped... Hmm, a clue!`
`166`	`166`	`VNil :: Vector a 'Z`
`167`	`167`	`VCons :: a -> Vector a n -> Vector a ('S n)`
`168`	`168`
`169`		`--- \| d. Our sigma type is actually very useful. Let's imagine we're looking at`
	`169`	`+`
	`170`	`+`
	`171`	`+`
	`172`	`+`
	`173`	`+`
	`174`	`+{- SIX -}`
	`175`	`+`
	`176`	`+-- \| Our sigma type is actually very useful. Let's imagine we're looking at`
`170`	`177`	`-- a communication protocol over some network, and we label our packets as`
`171`	`178`	`-- @Client@ or @Server@:`
`172`	`179`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,7 @@ smuggle a = a`
`105`	`105`	`Once you enable the extensions as GHC tells you, the error is that we`
`106`	`106`	`couldn't match @IO (Secrets, a)@ with @a@. Because we said this function`
`107`	`107`	`will work /for all/ a, we therefore can't know anything about the value! With`
`108`		`- type families, however, we can look at the intuitively kinds involved as more`
	`108`	`+ type families, however, we can look at the kinds involved as more`
`109`	`109`	`arguments to the function. The 'Smuggler' family has two inputs: the /type/`
`110`	`110`	`@x@, and the /kind/ @k@.`
`111`	`111`

Comments

(0)