hmemcpy/milewski-ctfp-pdf
1
1
Fork 0
mirror of https://github.com/hmemcpy/milewski-ctfp-pdf.git synced 2024-11-22 11:32:00 +03:00
Code Issues Projects Releases Wiki Activity
310 Commits 2 Branches 52 Tags 107 MiB
6c25190277
Commit Graph

310 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
pspencil
6c25190277
Fix error in type for bimap (#263) 
The `t` I added actually stands for `BiCompBiFunctor.t` but technically `bimap` is defined inside the module so I omitted the module name.
 2021-09-30 23:05:24 +03:00
winestone
d1be773c67
Remove extra semicolon in C++ code (#270) 2021-09-30 23:04:30 +03:00
Jason Evans
c005e2b5bd
s/practical, interpretation/practical interpretation/ (#273) 2021-09-30 23:04:18 +03:00
Georgiy Komarov
f3edf4708a
Fix formatting in OCaml snippet (#277) 2021-09-30 23:02:41 +03:00
Bartosz Milewski
eb8634745a Update limits-and-colimits.tex 2021-03-30 14:37:29 -07:00
Igal Tabachnik
7a5fdbf7eb
Revert "Fixed a typo (#248)" (#269) 
This reverts commit 1b53921358.
 2021-02-04 21:55:52 +02:00
Pol Dellaiera
75cb3bdd2c
Update automatic tag name. (#267) 
A better human readable name.
 2021-02-04 20:33:18 +02:00
Arulselvan Madhavan
05c19719d6
OCaml - update 1.7 snippets (#262) 
* update 1.7 snippets

* Run ocamlformat

Co-authored-by: Arul Madhavan <arul.madhavan@arulmadhavan-MBP-7745.local>
 2021-02-04 20:32:36 +02:00
Enrico Maria De Angelis
a87550a261
Make the second "LaTeX" in the Colophon a macro (#266) 2021-01-23 13:25:27 +02:00
Tim Heaney
97de3c6905
Typo: choose rather than chose (#261) 2020-11-24 22:42:57 +02:00
Jonas Schürmann
afb2961324
Remove unnecessary brackets (#189) 
In the instance declaration of `BiComp`.
 2020-10-27 17:23:55 +02:00
Alfonso Ros
f15abcd485
Update 1.3's C++ concept implementation of Monoid (#259) 
Co-authored-by: Alfonso Ros <alfonso.ros@esrlabs.com>
 2020-10-27 17:22:40 +02:00
Florian Hammerschmidt
fab316e713
Fix OCaml and ReasonML ribbon colors (#257) 
* Revert accidental ocaml ribbon color change.

* Use actual ReasonML ribbon color.
 2020-10-24 17:33:21 +03:00
Tim Heaney
7de90c7185
Typo: s/chose/choose/ (#258) 2020-10-01 23:18:04 +03:00
Florian Hammerschmidt
8336698dae
ReasonML edition. (#247) 
* Reason edition: snippets chapter 1.1

* Reason edition: snippets chapter 1.2

* Reason edition: snippets chapter 1.3

* Reason edition: snippets chapter 1.4

* Reason edition: snippets chapter 1.5

* Reason edition: snippets chapter 1.6

* Reason edition: snippets chapter 1.7

* Reason edition: snippets chapter 1.8

* Reason edition: snippets chapter 1.9

* Reason edition: snippets chapter 1.10

* Reason edition: snippets chapter 2.1

* Reason edition: snippets chapter 2.2

* Reason edition: snippets chapter 2.3

* Reason edition: snippets chapter 2.4

* Reason edition: snippets chapter 2.5

* Reason edition: snippets chapter 2.6

* Reason edition: snippets chapter 3.2

* Reason edition: snippets chapter 3.3

* Reason edition: snippets chapter 3.4

* Reason edition: snippets chapter 3.6

* Reason edition: snippets chapter 3.7

* Reason edition: snippets chapter 3.8

* Reason edition: snippets chapter 3.9

* Reason edition: snippets chapter 3.10

* Reason edition: snippets chapter 3.11

* Reason edition: snippets chapter 3.14

* Reason edition: tex files, makefile, logo & colors.

* Reason edition: snippets chapter 3.5

* Obey horizontal space restrictions in Reason snippets.

* Add reason to gh workflows
 2020-09-09 12:58:52 +03:00
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