hmemcpy/milewski-ctfp-pdf
1
1
Fork 0
mirror of https://github.com/hmemcpy/milewski-ctfp-pdf.git synced 2024-11-27 00:26:54 +03:00
Code Issues Projects Releases Wiki Activity
157 Commits 2 Branches 52 Tags 107 MiB
4a8d2abd85
Commit Graph

157 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Igal Tabachnik
4a8d2abd85 Completely using the libertine package, no need to install local fonts 2018-07-30 23:10:57 +03:00
Igal Tabachnik
6c9fcbd41d Placing appendices in own part. This fixes #74 2018-07-30 15:06:25 +03:00
Igal Tabachnik
2819931731
Delete ctfp.mst 2018-07-30 14:49:47 +03:00
Igal Tabachnik
cec551f281 Bumping version 2018-07-30 13:43:34 +03:00
hololeap
fd53e0d77c Make the parameter for rho and rhoP consistent (#121) 2018-07-30 13:35:45 +03:00
hyperlingg
2b0d0c02fb Update Monads Categorically.tex (#123) 
Switched 'lambda' and 'rho'. Lines 282 and 283 were correct.
 2018-07-30 13:35:21 +03:00
Zelenya
d6fd8e0a5a make consistent with source (#130) 2018-07-30 13:34:47 +03:00
Igal Tabachnik
713d964497
Update README.md 2018-07-30 13:26:01 +03:00
Igal Tabachnik
2bbebc05e0
Changing 'Libertine' to use the package. Misc preamble tweaks. (#131) 2018-07-30 12:20:46 +03:00
Igal Tabachnik
b17e754fa7 Small fixes 2018-07-30 10:35:55 +03:00
Igal Tabachnik
164d6c6aa4
Travis s3 deploy (#132) 
* Trying s3 deploy
* Changing output directory - s3 can only upload a single dir
* Ignoring out dir
* Adding fontspec package
 2018-07-30 00:25:37 +03:00
Igal Tabachnik
89c69c17de Thanks Markus Hauck for contributing the nix-based build! 
closes #125
 2018-07-15 12:02:19 +03:00
Markus Hauck
baafc945ee Use nix to build the pdf (#126) 2018-07-15 11:53:19 +03:00
StillerHarpo
6aa7522188 Fix formatting (#122) 2018-06-17 10:56:51 +03:00
Bartosz Milewski
c99b96b93b Bifunctor is more than two functors 2018-05-06 19:12:23 -07:00
Igal Tabachnik
23728e6d83
Update Makefile 2018-04-02 16:42:25 +03:00
erwin maruli tua pakpahan
5300b1b273 Add Travis CI (#120) 
* test ci

* fix typo

* fix package name

* use container based

* Revert "use container based"

This reverts commit fe0a640730.

* remove multiline

* add latexmk package

* add texlive-xetex package

* install xcolor

* install LaTeX from source

* install latexmk

* try force build

* add texlive-vetex

* insall minted

* Revert "insall minted"

This reverts commit fcb80add8a.

* set nonstopmode

* init usertree and then install minted

* insall xzdec package

* run install-tl-ubuntu

* fix typo

* run with sudo

* install xetex

* use only ubuntu latex packages

* insall minted

* install latex-xcolor

* install latex-full insted

* install Inconsolata LGC manually

* add python-pygments package

* install libertinus manually

* embed build status

* disable force mode

* reset Makefile

* don't install latex-full

* add more latex packages

* fix typo

* fix package name

* add texlive-generic-recommended package

* add texlive-math-extra package

* add texlive-pictures package

* remove texlive-pictures and install pgf

* remove noninteractive mode

* add fonts-lmodern package

* remove latex-xcolor

* remove pgf package

* rever latex-xcolor

* remove latex-xcolor

* use latex-full

* use latex-full and nonstopmode

* fix bug

* fix build script

* fix build script

* add force option

* only update font cache once

* use working config
 2018-03-31 14:29:11 +03:00
Igal Tabachnik
fc93346be6 Fixed badge link 2018-03-31 14:19:05 +03:00
Igal Tabachnik
e7aaab1e40 Adding more contributors to readme 2018-03-31 13:53:10 +03:00
devtrium
f8933e00e3 Adding Travis CI configuration 
fix typo

fix package name

use container based

Revert "use container based"

This reverts commit fe0a640730.

remove multiline

add latexmk package

add texlive-xetex package

install xcolor

install LaTeX from source

install latexmk

try force build

add texlive-vetex

insall minted

Revert "insall minted"

This reverts commit fcb80add8a.

set nonstopmode

init usertree and then install minted

insall xzdec package

run install-tl-ubuntu

fix typo

run with sudo

install xetex

use only ubuntu latex packages

insall minted

install latex-xcolor

install latex-full insted

install Inconsolata LGC manually

add python-pygments package

install libertinus manually

embed build status

disable force mode

reset Makefile

don't install latex-full

add more latex packages

fix typo

fix package name

add texlive-generic-recommended package

add texlive-math-extra package

add texlive-pictures package

remove texlive-pictures and install pgf

remove noninteractive mode

add fonts-lmodern package

remove latex-xcolor

remove pgf package

rever latex-xcolor

remove latex-xcolor

use latex-full

use latex-full and nonstopmode

fix bug

fix build script

fix build script

add force option

only update font cache once

use working config

Changing the deployment key
 2018-03-31 13:52:55 +03:00
Igal Tabachnik
42c3ca67bd Fixes #107 - formatting error 2018-03-28 09:21:38 +03:00
hololeap
47f1db63de Minor typo (#118) 2018-03-28 09:07:59 +03:00
Igal Tabachnik
a6bed4671b Bumping version 2018-03-27 23:27:07 +03:00
Igal Tabachnik
2c9f4b9353 Adding a section on Hom-Functors to Functoriality 2018-03-27 23:26:59 +03:00
Igal Tabachnik
b6913025ca Bumping version number 2018-03-05 10:35:19 +02:00
hololeap
b59495c21a Missing end parenthesis for tuple on line 230 (#115) 2018-03-04 21:59:08 +02:00
dkim
e2be7dc299 Correct a typo in Section 18.1 (#112) 2018-02-15 16:37:53 +02:00
Marcello Seri
904d3d87a3 Minor typos (#113) 
* 1.6: make verbatim actual haskell as in the previous examples

Signed-off-by: Marcello Seri <marcello.seri@citrix.com>

* 1.9: do not use math mode, to prevent incorrect arrow representation

Signed-off-by: Marcello Seri <marcello.seri@citrix.com>

* 1.10: add missing {} for cat

Signed-off-by: Marcello Seri <marcello.seri@citrix.com>
 2018-02-15 16:37:28 +02:00
Colin Woodbury
d5dd9cfbc8 Very tiny typo (#110) 2018-02-04 12:22:55 +02:00
Timmy Jose
d76ff65a3b Adding Libertinus Math font dependency for building on macOS to README (#109) 2018-01-29 17:18:11 +02:00
Igal Tabachnik
cffd2f8b29 Bumping version 2018-01-22 22:58:26 +02:00
Igal Tabachnik
5fba3fe9c2 Changing image sizes to reduce empty space 
Fixes #106
Fixes #41
Thanks to @fosskers for reporting!
 2018-01-22 22:57:09 +02:00
Colin Woodbury
a516c0dab3 Make Either example into real Haskell (#104) 2018-01-22 14:21:35 +02:00
Colin Woodbury
fcd1adc62d Chapter 6: Minor rewording (#105) 2018-01-19 16:58:15 +02:00
Colin Woodbury
682c90356d Minor typo (#103) 2018-01-16 22:14:32 +02:00
Igal Tabachnik
9ae5c3866d Bumping version number 2018-01-11 15:41:50 +02:00
Igal Tabachnik
0973460e9e Chaning youtube footnote link to a short url. Fixes #101 2018-01-10 15:57:13 +02:00
Bartosz Milewski
cdf9fa858d Thank you note 2018-01-03 22:17:41 +01:00
Bartosz Milewski
dc07c1ea89 Fix associativity equation 
mu acts on pairs
 2018-01-03 22:17:41 +01:00
Igal Tabachnik
9f4aa29c1a Changing the book to two-side, so it can be printed properly 2017-12-31 16:35:44 +02:00
Igal Tabachnik
47b626729e Bumping version number 2017-12-31 14:55:35 +02:00
Marcello Seri
457f6882f6 Replace hand-drawn commutative diagrams with TeX (#99) 
* preamble: add diagram package tikz-cd

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

* content/3.2: rewrite diagrams in tikz-cd

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

* content/3.9: rewrite diagrams in tikz-cd

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

* content/3.12: rewrite diagrams in tikz-cd

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

* 3.12: fix typo, missing \ on cat

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

* 3.12: adjust id.jpg size to improve pagination

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

* 2.4: fix typo, missing \ on cat

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

* content/3.12: use \id from category.tex instead of \rm{id}

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

* content/3.14: rewrite diagrams in tikz-cd

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

* content/3.12: correct \rho -> \lambda on commutative diagram

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

* README: add myself among the contributors

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
 2017-12-31 14:47:54 +02:00
Guillaume Babin
4998e2cd79 Fixes spacing (#80) 
* Avoids ugly spacing between letters in words in math mode
* Fixes spacing around operators
 2017-12-31 14:11:55 +02:00
Joe Bowbeer
34b4cd1fbd Update Functoriality.tex (#98) 
The type :: and definition (=) should be expressed on separate lines, as they are in the blog.
 2017-12-17 10:05:34 +02:00
Joe Bowbeer
48a71d1510 Update Functoriality.tex (#97) 
s/Let' /Let /
 2017-12-16 17:41:42 +02:00
Igal Tabachnik
5121475edc Bumping version number 2017-12-04 10:11:35 +02:00
Jesper Öqvist
88e8747def Fix grammar (#95) 2017-12-04 09:05:27 +02:00
Ivan Andrus
fa65e89e05 I believe this to be a typo (#93) 2017-11-25 13:43:16 +02:00
Ivan Andrus
127372a831 Simple typo (#94) 2017-11-25 13:41:57 +02:00
Gabriel Aubut-Lussier
1e35fdddc2 Fix a typo in the category of a morphism on morphisms. (#92) 2017-11-23 18:57:03 +02:00