EFanZh
1bd3e36e5a
Use consistent epsilon symbol ( #335 )
2024-10-20 16:27:37 +02:00
kkinugasa
d13765c717
fix typo in 3.14 ( #340 )
...
* fix typo in 3.14
* run prettier
2024-10-08 11:11:28 +02:00
Dan Shearer
8765d97d13
Correct the build command for Haskell ( #339 )
2024-09-25 15:21:11 +02:00
dependabot[bot]
f6b98020e9
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows ( #338 )
...
Bumps [actions/download-artifact](https://github.com/actions/download-artifact ) from 2 to 4.1.7.
- [Release notes](https://github.com/actions/download-artifact/releases )
- [Commits](https://github.com/actions/download-artifact/compare/v2...v4.1.7 )
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2024-09-04 04:55:51 +02:00
Kazufumi Okuda
c46c3669d4
fix(Section 3.11): typo (A -> Set) ( #336 )
2024-06-20 15:06:14 +02:00
NACAMURA Mitsuhiro
e7615de1de
readme: update NixOS wiki link ( #333 )
2024-05-11 16:05:08 +03:00
Di Wu
4cf6413e44
fix a typo in Chapter ends and coends ( #332 )
2024-04-22 20:00:11 +02:00
kkinugasa
020991c49d
typo (\cat{C} -> \cat{C}^\mathit{op}) ( #330 )
2024-03-24 10:48:58 +01:00
Masahiro Kitagawa
ab180d9b9c
Fix typos ( #328 )
...
* typo in 1.8/functoriality.tex line 30
fix #233
* Typo in Preface
fix #265
* Replace ... with \ldots{}
2024-01-28 10:10:42 +01:00
EFanZh
3d74afa90c
Small fixes ( #324 )
2023-10-24 19:49:31 +02:00
EFanZh
0a81b8953b
Use \mathit for multi-letter identifiers ( #322 )
2023-10-23 17:11:24 +02:00
Pol Dellaiera
1a0dff2289
nix: refactor Nix flake files ( #323 )
2023-10-22 21:47:26 +02:00
EFanZh
73f788e8e7
Make spaces after functors consistent ( #320 )
2023-10-22 19:11:26 +02:00
EFanZh
072d06328d
Fix prettier check ( #321 )
2023-10-22 17:53:54 +02:00
EFanZh
7a10520905
Fix spacing around multiplication operator ( #319 )
2023-10-10 18:49:58 +02:00
Bartosz Milewski
45db8d515a
Update snippet29.hs ( #315 )
2023-05-21 15:09:09 +02:00
Aditya Naik
ddbd27a668
Update kleisli-categories.tex ( #314 )
2023-04-13 08:36:52 +02:00
Pol Dellaiera
b5e4a59d17
nix: fix fullname variable ( #313 )
...
This should fix #312
2023-04-08 23:14:22 +02:00
amacmillanparks
32743b2738
Desugar scala code snippet 23 in chapter 3.4 ( #297 )
...
Co-authored-by: Anton Macmillan-Parks <anton.macmillanparks@clearscore.com>
2023-02-09 15:23:55 +01:00
Pol Dellaiera
ca3b232e9b
fix: Update badge link ( #308 )
2023-02-03 12:40:32 +01:00
Pol Dellaiera
d15c0558d6
fix: remove custom pygments-style-github ( #307 )
...
It has been added to Nix at: https://github.com/NixOS/nixpkgs/pull/214015
2023-02-03 12:09:56 +01:00
Pol Dellaiera
de799935b2
refactor: CI and nix ( #306 )
...
* fix: remove custom fonts
Since they are available in Nix, there is no need to keep them in the project anymore
* chore: remove old obsolete files
* refactor: rewrite Nix files
- Switch from `numtide/flake-utils` to `flake-parts`
- Add custom font derivation for LaTeX
- Add `formatter`
- Switch to `python311`
* ci: update Github workflows
* feat: add `Makefile` for local development
Very useful when used in combination with `nix develop`
* feat: add `.envrc` file for loading development environment with `nix-direnv`
* feat: add `.editorconfig` and `.prettierrc`
* style: reformat files using `prettier`
Run `nix run nixpkgs#nodePackages.prettier -- --write .`
* fix: add workaround to prevent bug with `minted` package
see https://github.com/gpoore/minted/issues/353 for context
* fix: add `version.tex` in the repo
* chore: rewrite `README`
* chore: ignore LaTeX temporary files while building locally
* feat: add `latexindent.pl` configuration file
* style: lint LaTeX files
2023-02-02 10:53:45 +01:00
Masahiro Kitagawa
98b71ac267
Fix minor typos ( #304 )
...
* typo (date -> data)
* Replace double colon with LaTeX \Colon
* typo (\eta_aa -> \eta_a)
* Replace \emph{} with \cat{}
* Add missing colon
* typo (× -> \times)
* typo (C -> $\cat{C}$)
* fixup! 38f8fe8e41038b2fab7fa068a78cff4fd2676e7438f8fe8e41038b2fab7fa068a78cff4fd2676e74
2023-01-30 16:34:37 +01:00
Darren Wilkinson
d175452215
fix trivial typo in scala snippet ( #303 )
2023-01-02 21:12:51 +02:00
Masahiro Kitagawa
a325ca2d91
Revert wrong "typo fix" for "iff" ( #298 )
...
- 'iff' normally means 'if and only if', which is stronger than just 'if'.
https://en.wikipedia.org/wiki/If_and_only_if
- See the discussion on #294
2022-09-19 14:39:36 +02:00
Masahiro Kitagawa
143f1a5654
Replace Greek letters with LaTeX ( #294 )
...
* Replace Greek letters with LaTeX
* Fix typo
2022-09-03 05:40:13 +02:00
Sage Hane
5706d4c95c
Add missing comma ( #280 )
2022-05-17 13:51:34 +02:00
Masahiro Kitagawa
2de2015512
Add missing figure ( #290 ) ( #291 )
2022-05-17 07:14:04 +02:00
Mi. Lia
54333b243a
Updated README.md as per issue #288 ( #289 )
...
* Updated README.md as per issue #288
* Added steps to install nixFlakes explicitly, ref #289
2022-04-04 17:32:32 +02:00
Pol Dellaiera
d826d2818d
Improvements in the Nix and build system. ( #287 )
2022-02-25 18:47:40 +02:00
Pol Dellaiera
bfe7a1fa48
Use Nix for building PDFs. ( #286 )
2022-02-25 17:12:14 +02:00
Pol Dellaiera
ff05f34839
Update flake.nix- Add reason edition. ( #284 )
2022-02-23 09:30:57 +02:00
Kevin Kredit
5aefd03b9a
Fix missing apostrophe ( #281 )
...
Co-authored-by: Kevin Kredit <k.kredit.us@ieee.org>
2022-01-26 00:09:28 +02:00
Georgiy Komarov
0af503a97b
Fix formatting in OCaml snippets ( #279 )
2021-11-02 10:38:02 +02:00
Finn
26b0714557
Fix Mac Lane reference ( #278 )
...
* Fix Mac Lane reference
* Fix improperly directed quotes
* Add fixes to errata-1.3.0.md
2021-09-30 23:31:39 +03:00
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
