Release v2.2

fix the open problem solved by Hew Wolff (#108)

* fix the open problem solved by Hew Wolff

* wip

* clean everything with clean.sh

* add files with embedded fonts

* fix font size for back cover

* fix back cover size

* fix barcode position

Parts 1 and 2

The book is now split into 3 parts. Parts 1 and 2 are ready for distribution. Part 3 is still in progress.

v0.13.0

There are three major changes in this release:

• Chapter 12 ("Traversable functors") is finished.
• Added Appendix C about the LJT algorithm.
• Some material was rearranged and the logical flow was improved in Chapter 5 ("Curry-Howard correspondence").

v0.12.0

Finished proof-reading the applicatives chapter.

Release 0.11.3

Added chapter 11 ("Applicative functors and contrafuntors") and made miscellaneous minor changes in other chapters.

Release v0.11.2

minor correction

Release v0.11.1

Finish editing chapter 14, adding a large new section about "Monatron".

Release v0.11.0

Adding a proofread version of chapter 14 (monad transformers). Also added a short chapter 19 (use of category theory in functional programming).

Release v0.10.3

This release updates the draft with a complete text of Chapter 14 (monad transformers). However, Chapter 14 has not been fully proofread.

Another change is avoiding the use of LaTeX titlesec package that causes problems with the latest scrbook class. Some vertical spacing has changed a little bit, compared with previous versions. Despite this, the number of pages remains the same.

Starting from this release, the PDF files are no longer checked into github repository. They are built by CI and uploaded to the "Releases" section.

Chapter 13 is almost done

This release does two things:

• Adds almost complete text of chapter 13
• Adds an automatic build system (thanks to @barisere) and stops uploading locally build PDF files. The PDF files in this release were built by CI.