From ad2691171aa1a88799d300799eb9de76cd226bd9 Mon Sep 17 00:00:00 2001 From: sdiehl Date: Sun, 16 Feb 2020 15:03:33 +0000 Subject: [PATCH] Write more --- resources/cover.tex | 4 ++-- resources/template.tex | 4 ++-- tutorial.md | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/resources/cover.tex b/resources/cover.tex index d182bf1..4c69475 100644 --- a/resources/cover.tex +++ b/resources/cover.tex @@ -12,8 +12,8 @@ \end{flushright} \tikz[remember picture, overlay] - \node[opacity=1.0,inner sep=0pt,shift={(0 cm,8cm)}] at (current page.south) - {\includegraphics[width=\paperwidth,height=\paperheight]{resources/cover2.eps}}; + \node[opacity=1,inner sep=0pt,shift={(0 cm,8cm)}] at (current page.south) + {\includegraphics[width=\paperwidth,height=\paperheight]{resources/cover2.png}}; \end{titlepage} \pagecolor{white} diff --git a/resources/template.tex b/resources/template.tex index 162484f..06ecbd4 100644 --- a/resources/template.tex +++ b/resources/template.tex @@ -9,7 +9,7 @@ %papersize={21cm,25cm}, papersize={8.125in,10.250in}, top=1.5cm, - bottom=1.3cm, + bottom=1.5cm, inner=1.91cm, outer=6.68cm, % For pdf @@ -123,7 +123,7 @@ $endif$ \usepackage{fontspec} \setmainfont[Ligatures=Common, ItalicFont={Adobe Garamond Pro Italic}] {Adobe Garamond Pro} -\setmonofont[Ligatures=NoCommon, Scale=0.75]{Source Code Pro} +\setmonofont[Ligatures=NoCommon, Scale=0.80]{Source Code Pro} \urlstyle{same} \usepackage{longtable,booktabs} diff --git a/tutorial.md b/tutorial.md index f7f3c94..4bd24b2 100644 --- a/tutorial.md +++ b/tutorial.md @@ -16770,7 +16770,7 @@ may give you insights into problems that algebraic in nature. A tiny group of Haskellers espouse philosophies about it being an inspiration for certain abstractions, but most do not. -Some understanding of abstract algebra, conventions for discussing algebraic +Some understanding of abstract algebra, and conventions for discussing algebraic structures and equation reasoning with laws are essential to modern Haskell and we will discuss these leading up to some basic category theory.