Commit Graph

345 Commits

Author SHA1 Message Date
Rafael Fourquet
7604f401ff
remove "theory" in "bicartesian closed category theory" (#249) 2020-09-04 20:32:25 +03:00
Igal Tabachnik
b35d1a102e
Update README.md 2020-09-04 20:30:10 +03:00
aszlig
bca9cf5d3d
Switch to using Nix flakes (#253)
Someone has requested me to build this book, since they didn't have Nix.

So when looking at the Nix expressions I found that there was only a
shell.nix and the default.nix was essentially just aliasing the
shell.nix but without the pinning.

However, with Nix flakes we no longer need to do pinning like this and
we instead have a flake.lock file, which essentially pins the
corresponding revisions.

I also added a default.nix, which uses flake-compat to make sure that
nix-shell and nix-build work as before.

Since so far the way to build the PDF(s) was to get into a Nix shell and
run make accordingly. For me however it's unacceptable to build random
code without the Nix sandbox, so while writing a proper default.nix I
decided it would be better to turn it into a Nix flake.

Apart from the previous ways to build this project we now have:

  $ nix develop # To get a Nix shell (similar to nix-shell but cached)
  $ nix build # The default edition
  $ nix build .\#ctfp-scala # The Scala edition
  $ nix build .\#ctfp-ocaml # The OCaml edition

Signed-off-by: aszlig <aszlig@nix.build>
2020-09-04 15:16:42 +03:00
Bartosz Milewski
39d625f638 Update acknowledgments.tex 2020-08-27 21:07:48 -07:00
Joe Kachmar
f76e9d3ea6
Nix tweaks (#252)
* Pins nixpkgs

* Adds required texlive packages

* Factors texlive out of mkShell

* Sources Python packages from Nix
2020-08-03 08:31:16 +03:00
Nate Reinar Windwood
1b53921358
Fixed a typo (#248)
“if it were trivial...” -> “if it was trivial...”
2020-07-26 12:20:38 +03:00
Pol Dellaiera
3832e5697f
Builds with GitHub actions (#251)
* Add missing fonts and make necessary changes in the .tex file.

* Add Github action workflow file.

* Cut building time by at least 4.

* Add more information.
2020-07-21 18:42:44 +03:00
Igal Tabachnik
78971a95b5 Adding a cleanup to prevent overwriting the output files (fixes #245) 2020-03-30 01:28:16 +03:00
Bartosz Milewski
5b52ac6828 Update representable-functors.tex 2020-03-27 08:46:31 -07:00
ac27182
5e605c7a6e
Update simple-algebraic-data-types.tex (#244)
turning record in to a new term
2020-02-25 13:50:15 -08:00
Nikolay Murzin
76338fa937
Change bimap to dimap in scala's Profunctor definition (#243)
* Change bimap to dimap in Profunctor definition

* Add the typo to errata file
2020-02-25 12:17:30 -08:00
Igal Tabachnik
964d971ceb
Adding OCaml cover + tweaks. Duplicate of Scala for now (#241) 2020-02-15 06:33:16 -08:00
Arulselvan Madhavan
4986511e48 OCaml version of CTFP (#201)
* OCaml version of the book upto chapter 24
* Checking in Chapter 25
* Adding Ch 26
* Add final two chapters
* Add Marcello Seri's comments
* Ch 25 changes
* Ch 26
* Run formatter
* Adding OCaml tweaks in the half-title + colophon
* Adding links in the colophon

Co-authored-by: Igal Tabachnik <hmemcpy@gmail.com>
2020-02-14 19:37:33 +02:00
Igal Tabachnik
e72ef6b8b5 Removing caches, handling it on CI 2020-02-14 19:21:48 +02:00
Igal Tabachnik
f5797f12e5 Tweaks to half-title. 2020-02-14 17:55:16 +02:00
Igal Tabachnik
6b5a524abc
Setting up autodeploy (#236) 2020-02-14 01:05:58 -08:00
Igal Tabachnik
8a43299f28
Building with caches (#235)
* Adding Haskell minted caches

* Adding Scala caches

* Keeping the cache between runs (disables \minted@cleancache)
2020-02-14 00:21:45 -08:00
Igal Tabachnik
20175c7f9b
Makefile surgery (#234)
* Adding a "display language" option + separating some pages to import language-specific text

* Removing grffile, not needed after the latest fix in LaTeX2e 2019-10-01 Patch Level 2

* Trying a new version fetch strategy

* Sharing caches between runs. This should reduce build times significantly!
2020-02-13 14:50:20 -08:00
Igal Tabachnik
56d743f7cb Trying deploying multiple files on travis 2020-01-16 16:01:51 +02:00
Igal Tabachnik
6de7da038f Fixing python venv in nix 2020-01-16 15:59:15 +02:00
Brian Wignall
fb57ad6227 Fix typo (#228)
* Fix typo

* Update errata to reflect typo fix from PR#228
2020-01-11 15:35:46 +02:00
Igal Tabachnik
5145d072a9
Update errata-1.3.0.md 2019-11-29 18:05:38 +02:00
steve-e
d037a0b45d fix type in diagram of monads as coends (#226) 2019-11-29 18:03:22 +02:00
hri
89589f82a4 replace echo with printf (#209) 2019-09-05 09:05:46 +03:00
Ahmad Ragab
4ef184b696 Adding errata to scala (#211) 2019-09-05 08:53:13 +03:00
Ahmad Ragab
fd80e3b6b1 tupeling return type in prodToSum method in section 6.4 (#210) 2019-09-05 08:28:13 +03:00
Igal Tabachnik
4a0a5d4ffd
Removing some info. It's written in the Colophon section of the book 2019-08-29 23:01:03 +03:00
Igal Tabachnik
ad6784b40c
Adding nix build instructions 2019-08-29 22:59:36 +03:00
Igal Tabachnik
6c54ac7717
Update errata-1.3.0.md 2019-08-29 22:53:48 +03:00
Igal Tabachnik
3273d530f1
Create errata-1.3.0.md 2019-08-29 22:51:04 +03:00
Igal Tabachnik
baff266884
Rename errata.md to errata-1.0.0.md 2019-08-29 22:49:41 +03:00
Igal Tabachnik
ab7413d878
Update README.md 2019-08-29 22:49:13 +03:00
Igal Tabachnik
32cfd71937
Update errata-scala.md 2019-08-29 22:47:03 +03:00
Igal Tabachnik
4f9a99d1c3 Adding a comment for lazy lists 2019-08-29 22:41:07 +03:00
Sakis Karagiannis
3d29cd99f3 Scala (2.13) now has lazy lists 2019-08-29 22:39:20 +03:00
Rachel M. Carmena
2e472f0d06 Refactor: remove duplication (#207) 2019-08-29 22:14:37 +03:00
Igal Tabachnik
f7db7ca074 Adding errata-scala. 2019-08-13 00:28:34 +03:00
Igal Tabachnik
40a47b7512
Update README.md 2019-08-13 00:27:24 +03:00
Igal Tabachnik
6bb0bc0ee8 Fixing cover fonts 2019-08-12 21:15:45 +03:00
Igal Tabachnik
7474d6a96c Hopefully correct page margins for print! 2019-08-12 21:15:44 +03:00
Igal Tabachnik
3dfe0d2324 Hopefully correct page margins for print! 2019-08-11 17:25:37 +03:00
Ruben Berenguel
0d4a208829 Update natural-transformations.tex (#196)
code -> math mode
2019-06-26 16:33:43 +03:00
Igal Tabachnik
537035031e Adding errata following Bartosz' fixes 2019-06-18 09:28:12 +03:00
Igal Tabachnik
5d124f49a0 Adjusting text 2019-06-17 09:55:19 +03:00
Igal Tabachnik
9a42998480 Ignoring vscode files 2019-06-16 14:46:40 +03:00
Igal Tabachnik
3230b5f9b1 Prod -> Product in Scala snippets too 2019-06-16 14:46:40 +03:00
Igal Tabachnik
8e5c7b46e5 Adding hardcover for scala 2019-06-16 14:46:40 +03:00
Bartosz Milewski
31821e5ded pre/post composition 2019-06-15 11:08:10 -07:00
Bartosz Milewski
23f522ec08 Fixed Product comonad snippets 2019-06-13 09:08:54 -07:00
Bartosz Milewski
15c672cab1 Use Product rather than Prod 2019-06-11 12:59:00 -07:00