pigworker / so-pigworker

being the scrapings of my stackoverflow answers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

On the pdf version of chapter 1, some text is not rendered

vu3rdd opened this issue · comments

On the pdf: https://personal.cis.strath.ac.uk/conor.mcbride/so-pigworker.pdf, version July 3,2016, page 8.

the text on unit-void.md:

  val-in-type-1 -> ... -> val-in-type-n -> effect-monad val-out-type

is not rendered. Instead it reads:

"to indicate side effects, it often shows up as the value component in a monadic type. Monadic
operations tend to have types which look like
where the return type is a type application: the function tells you which effects are possible
and the argument tells you what sort of value is produced by the operation. For example"