Commit Graph

345 Commits

Author SHA1 Message Date
Igal Tabachnik
79349763f1 Chapter 3.9 - Algebras for Monads 2017-09-26 23:01:58 +03:00
Igal Tabachnik
ba0f50a863 Tweaking ignore files 2017-09-26 23:01:57 +03:00
Igal Tabachnik
7836fc1177 Chapter 3.8 - F-Algebras 2017-09-26 23:01:57 +03:00
Igal Tabachnik
ccc974aaa4 Chapter 3.7 - Comonads 2017-09-26 23:01:57 +03:00
Igal Tabachnik
3ca216da45 Update README.md 2017-09-26 18:43:54 +03:00
Igal Tabachnik
e4559c2041 Removing last of ‘SICP’ and renaming to proper title of the book 2017-09-26 18:41:09 +03:00
Igal Tabachnik
cd446d1238 De-emphasized the scraper in readme 2017-09-25 22:40:34 +03:00
Igal Tabachnik
4aed6e6df3 Chapters 3.5 and 3.6 2017-09-25 22:34:57 +03:00
Igal Tabachnik
1c61b7fa20 Chapters 3.1, 3.2, 3.3 and 3.4 2017-09-25 17:45:21 +03:00
Igal Tabachnik
4a1d2f8829 Chapter 17 - It’s All About Morphisms 2017-09-25 13:47:29 +03:00
Igal Tabachnik
2d745c6c68 Chapter 1.10 - Natural Transformations + tweaks
Fixes #13
2017-09-25 12:22:52 +03:00
Igal Tabachnik
a967ec3bf7 Chapter 1.9 - Function Types + tweaks
Fixes #12
2017-09-24 22:56:13 +03:00
Igal Tabachnik
a57891ef99 Chapter 1.8 - Functoriality 2017-09-24 17:48:49 +03:00
Igal Tabachnik
5404bc7514 Removing incorrect indexed term 2017-09-24 16:16:33 +03:00
Igal Tabachnik
54a8ced837 Adding ‘Acknowledgments’ section 2017-09-24 15:55:32 +03:00
Igal Tabachnik
c7c7d036ab More LaTeX tweaks 2017-09-24 15:42:19 +03:00
Igal Tabachnik
e42b340429 Chapter 1.7 - Functors 2017-09-24 15:42:02 +03:00
Igal Tabachnik
95e4c20646 Style tweaks for chapter 1.6 2017-09-24 13:00:40 +03:00
Igal Tabachnik
37665b2551 Style tweaks for chapter 1.5 2017-09-24 12:53:19 +03:00
Igal Tabachnik
a0bd6ef215 More style tweaks for chapters 1.3 and 1.4 2017-09-24 09:17:35 +03:00
Igal Tabachnik
2662dd8b6e More tweaks (subsection -> section) 2017-09-23 23:32:46 +03:00
Igal Tabachnik
45d8536ffa Adding index and miscellaneous style tweaks 2017-09-23 23:16:01 +03:00
Igal Tabachnik
86e9858153 Miscellaneous LaTeX tweaks 2017-09-23 23:08:57 +03:00
Igal Tabachnik
d3f98182d6 Chapter 1.6 - Simple Algebraic Data Types
Fixes #9
2017-09-23 16:26:59 +03:00
Igal Tabachnik
5874317f6d Chapter 1.5 - Products and Coproducts
Fixes #8
2017-09-23 14:59:39 +03:00
Igal Tabachnik
16bcfcfc0e Adding \tightlist directive, generated by pandoc 2017-09-23 00:06:13 +03:00
Igal Tabachnik
722e3756be Adding chapter 1.4 - Kleisli Categories
Fixes #7
2017-09-23 00:01:49 +03:00
Igal Tabachnik
8db138638a Adding chapter 1.3 - Categories Great and Small
Fixes #6
2017-09-22 23:07:41 +03:00
Igal Tabachnik
d262acd7aa Adding more info in README 2017-09-22 22:35:38 +03:00
Igal Tabachnik
2be02358d1 Adding cover page 2017-09-22 22:23:40 +03:00
Igal Tabachnik
a75e91ff45 Removing old/unneeded files 2017-09-22 21:59:48 +03:00
Igal Tabachnik
ae8ca9fe04 Converting chapters 1 and 2 to use external .tex files 2017-09-22 21:32:06 +03:00
Igal Tabachnik
c6e5ba1e94 Adding raw scraped blog content, stripped with Mercury and converted to LaTeX with pypandoc 2017-09-22 21:32:06 +03:00
Igal Tabachnik
28b2b7c025 Added chapter: Types and Functions 2017-09-22 21:32:05 +03:00
Igal Tabachnik
024042f781 Update README.md 2017-09-22 21:32:04 +03:00
Igal Tabachnik
b8f5121a72 Adding acknowledgments 2017-09-22 21:32:04 +03:00
Oleg Rakitskiy
4fcce81273 Add Types and Functions chapter 2017-09-22 21:32:04 +03:00
Igal Tabachnik
501aa6d158 Modifying readme 2017-09-22 21:32:04 +03:00
Igal Tabachnik
f6e359212c Added chapter “Category: The Essence of Composition” 2017-09-22 21:32:04 +03:00
Igal Tabachnik
d11bb12c34 Added Preface text with images 2017-09-22 21:32:03 +03:00
Igal Tabachnik
526c5b4800 Removing junk files 2017-09-22 21:32:03 +03:00
Igal Tabachnik
67ddd192bc Adding ‘minted’ for syntax highlighting 2017-09-22 21:32:03 +03:00
Igal Tabachnik
5a29de09d6 Initial porting of the SICP manuscript to the new CTFP (category theory for programmers) 2017-09-22 21:32:03 +03:00
Igal Tabachnik
2bf4eeb8a0 Removing the definition of \strong, because fontspec 2.6 provides it 2017-09-22 21:32:03 +03:00
Igal Tabachnik
949e20fd44 Truncated history 2017-09-22 21:31:49 +03:00