Commit Graph

6 Commits

Author SHA1 Message Date
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
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
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
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