hmemcpy/milewski-ctfp-pdf
1
1
Fork 0
mirror of https://github.com/hmemcpy/milewski-ctfp-pdf.git synced 2024-11-26 12:44:57 +03:00
Code Issues Projects Releases Wiki Activity
286 Commits 2 Branches 52 Tags 107 MiB
5e605c7a6e
Commit Graph

286 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Igal Tabachnik
ce442df2b7
Delete frontpage.tex 2018-09-20 15:20:33 +03:00
Igal Tabachnik
69e41a1635
Update README.md 2018-09-20 11:06:25 +03:00
Igal Tabachnik
558b7eea93 Retiring old coverpage. 
Fixes #145
 2018-09-20 09:56:41 +03:00
Bartosz Milewski
d153bb52a0 better wording 2018-09-19 04:48:14 -07:00
Bartosz Milewski
f4c2e7b74e Improve wording 2018-09-17 22:14:46 -07:00
Igal Tabachnik
3899ac636e Updating readme 2018-09-17 12:10:08 +03:00
Igal Tabachnik
cf7e20a89a Tweaking final page count and margins 2018-09-17 11:25:18 +03:00
Zelenya
9f1e4dfe67 get rid of bg, last part? (#143) 2018-09-16 22:11:59 +03:00
Igal Tabachnik
4af131235b Cover for blurb.com 2018-09-16 13:46:42 +03:00
Igal Tabachnik
f3cd1b111b Tweaking print version page size 2018-09-15 21:56:34 +03:00
Igal Tabachnik
33f8219ebc
Adding thanks! 2018-09-14 00:14:40 +03:00
Igal Tabachnik
bb51c39a79 Fixing print page count 2018-09-14 00:12:06 +03:00
Zelenya
3a30abaf3f [WIP] Remove bg from the pictures (#139) 
* get rid of bg, part 1

* get rid of bg, part 2

* get rid of bg, part 3
 2018-09-12 22:30:34 +03:00
Igal Tabachnik
690c5404b6
Refactoring, adding print version (#142) 
* Adding two separate settings for printing in US-trade (6x9 book) and 10” reader

* Printing version information

* Tweaking images in print layout

* Housekeeping

* Tweaking cover (based on the HoTT book)
 2018-09-11 21:20:40 +03:00
Igal Tabachnik
e86e4b4dc9 Adding \Hask command 2018-09-11 21:12:41 +03:00
Bartosz Milewski
9488b456a4 Fixed comonad formula 2018-09-08 12:07:25 -07:00
Vaibhav Sagar
080eaa44d3 shell.nix: pin nixpkgs to recent 18.03 (#137) 2018-08-25 17:26:42 +03:00
Igal Tabachnik
31e569f07e Removing bad root parameter 2018-08-25 00:57:54 +03:00
Igal Tabachnik
a922578d59 Tweaking version and copyrights 2018-08-25 00:44:57 +03:00
Igal Tabachnik
49d6eff963
Book cover (#136) 
* Tweaking title page

* Attempting to design a book cover
 2018-08-21 09:31:11 +03:00
Fabian Beuke
73413052d2 add spaces to function signature in section 1.10.1 (#135) 2018-08-20 16:18:44 +03:00
Fabian Beuke
ca218f92f3 add spaces to function signatures in section currying (#134) 2018-08-19 14:09:09 +03:00
Igal Tabachnik
8961c18197
Updating cover image 2018-08-14 17:28:12 +03:00
Bartosz Milewski
67c47fb2f5 Fixed Store comonad 2018-08-13 12:47:34 -07:00
Bartosz Milewski
c0940c177d Fixed order of bimap arguments 2018-08-09 13:01:12 -07:00
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
Bartosz Milewski
3b55398c53 absurd is unique from Void to Bool 2018-07-15 09:46:37 -07: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
Bartosz Milewski
d1e1953ad4 Fixed the index object for counit 2018-07-10 09:23:51 -07:00
Bartosz Milewski
d2c28bbf16 Fix component in triangular identities 2018-07-09 22:10:54 -07:00
StillerHarpo
6aa7522188 Fix formatting (#122) 2018-06-17 10:56:51 +03:00
Bartosz Milewski
944ddf2220 Ninja Yoneda for covariant functors 2018-06-09 15:20:06 -07: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