SATySFi
SATySFi copied to clipboard
gfngfn
A statically-typed, functional typesetting system
It affects Nix, which requires deterministic build. - https://twitter.com/aumy_f/status/1424958320708706307?s=20 - https://twitter.com/matsud224/status/1425016936748834824?s=20 ```shell ❯ nix build --rebuild error: derivation '/nix/store/fmkxj65j1s6iar75c1hm6jm6m201vh4r-pdf.drv' may not be deterministic: output '/nix/store/7i7hclybw9np21j3pl6j6xg1rlz6q13h-pdf' differs ```
Version 0.0.7 adds arbitrary Unicode character support in math expressions and now it is legal to write literal parentheses characters (`(` and `)`) in math expressions. However, math-class for parentheses...
Reported here: https://twitter.com/mr_konn/status/1522197421312593921?s=20&t=zNgPdOp1zqE9rwpBUGIDQw
fixes #306. This PR also makes regexps unicode-aware (and changes regexp syntax).
### Example #### Input ```code @require: stdjareport @require: itemize document (| title = {bug report}; author = {syaoshao}; show-title = true; show-toc = true; |) '< +p{ \enumerate{ *${aaa} *${bbb}...
This PR adds PNG images support. Supported PNG formats are monochrome, grayscale, rgb, and 4/8 bit colormap (1/2 bit colormap and alpha-channel are not supported). Supported formats are summarized as...
There are 100+ branches in this repository. How about deleting[^1] merged branches? list of branches already merged to master: ```console $ git branch --remotes --merged origin/master | grep -v '/master$'...
Reported by @TonalidadeHidrica at https://satysfi.slack.com. ``` let f = 1 let a = f RGB(0.1, 0.2, 0.3) ``` ``` ---- ---- ---- ---- target file: '2022-01-29-172058.pdf' dump file: '2022-01-29-172058.satysfi-aux' (will...
This PR updates the version to `0.1.0~alpha` from `0.0.6` in the `dev-0-1-0` branch. ## Why `0.1.0~alpha`? It's because of the sorting order: ``` 0.0.7 < 0.1 < 0.1.0~alpha < 0.1.0...
This PR enables to develop in Nix environment and make free from opam command manipulations. This Nix environment is reproducable and manages depexts of opam packages. But currently `dune build...
