aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore113logplain
-rw-r--r--ch1_cats.tex66461logplain
-rw-r--r--ch2_funs.tex30977logplain
-rw-r--r--ch3_limits.tex41624logplain
-rw-r--r--ch4_trans.tex16601logplain
-rw-r--r--ch6_monads.tex8291logplain
-rw-r--r--main.tex4912logplain
-rw-r--r--ref.bib890logplain