Skip to content

Releases: hmemcpy/milewski-ctfp-pdf

Version a87550a

23 Jan 11:44
a87550a
Compare
Choose a tag to compare
Version a87550a Pre-release
Pre-release
Make the second "LaTeX" in the Colophon a macro (#266)

Version 97de3c6

24 Nov 21:01
97de3c6
Compare
Choose a tag to compare
Version 97de3c6 Pre-release
Pre-release
Typo: choose rather than chose (#261)

Version f15abcd

27 Oct 15:37
f15abcd
Compare
Choose a tag to compare
Version f15abcd Pre-release
Pre-release
Update 1.3's C++ concept implementation of Monoid (#259)

Co-authored-by: Alfonso Ros <[email protected]>

Version afb2961

27 Oct 15:38
afb2961
Compare
Choose a tag to compare
Version afb2961 Pre-release
Pre-release
Remove unnecessary brackets (#189)

In the instance declaration of `BiComp`.

Version fab316e

24 Oct 14:48
fab316e
Compare
Choose a tag to compare
Version fab316e Pre-release
Pre-release
Fix OCaml and ReasonML ribbon colors (#257)

* Revert accidental ocaml ribbon color change.

* Use actual ReasonML ribbon color.

Version 7de90c7

01 Oct 20:33
7de90c7
Compare
Choose a tag to compare
Version 7de90c7 Pre-release
Pre-release
Typo: s/chose/choose/ (#258)

ReasonML Edition!

09 Sep 10:13
8336698
Compare
Choose a tag to compare
ReasonML Edition! Pre-release
Pre-release

Thanks to the efforts of @fhammerschmidt, Category Theory for Programmers now has a ReasonML edition!

Please check it out, and report any issues you might find!

Version bca9cf5

04 Sep 12:31
bca9cf5
Compare
Choose a tag to compare
Version bca9cf5 Pre-release
Pre-release
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 <[email protected]>

Version b35d1a1

04 Sep 17:44
b35d1a1
Compare
Choose a tag to compare
Version b35d1a1 Pre-release
Pre-release
Update README.md

Version 7604f40

04 Sep 17:46
7604f40
Compare
Choose a tag to compare
Version 7604f40 Pre-release
Pre-release
remove "theory" in "bicartesian closed category theory" (#249)