idris-hackers/eff-tutorial — pull request #11 by jfdm (2014-10-08 08:25:48+00:00)
Title: Print and Screen versions

This commit presents both print and screen versions of the effects tutorial. Both versions use the same content, but have a different setup w.r.t paper size. The font size for code has been reduced to account for the screen version. The font size for code can be made different for both versions if required i.e. print has std font size and screen a small font size.

+ Print :: A4 with `fullpage`
+ Screen :: (6in x 9in) and reduce margins.

The screen page size was sourced from guidance from the `Memoir` package of LaTeX, and is the same page size (IIRC) us for the screen version of the HoTT book. If this change is well received, I might considered pushing similar changes to the tutorial.