SATySFi
SATySFi copied to clipboard
gfngfn
A statically-typed, functional typesetting system
- [x] Wait for Batteries' support for testing (ocaml-batteries-team/batteries-included#835) - [x] Replace uCoreLib (#40) - [x] Fix the font problem (#13) - [ ] Fix the image problem for `tests/first.saty`...
Current implementation of hyphenation pattern matching is naive and inefficient. To speed up the matching, this PR introduces trie for string matching. This PR also fixes the bug of not...
I've done a experimental tool to convert bison grammars to a kind of EBNF understood by https://www.bottlecaps.de/rr/ui to generate railroad diagrams see bellow the converted `src/frontend/parser.mly` and with some hand...
On SATySFibook (web, v1) page 22, it says that the users can use `\ref-theorem` command as a cross reference of theorems, but this file made compile error. ``` @require: stdjareport...
Add deps-make command like gcc's `-MM` flag. Satyrographos has such a command, but it enumerates only `@require:` or `@import:`-ed files (recursively). So, there is no way to list used image...
We sometimes encounter the needs to evaluate `inline-text` or `block-text` more than one time. (For example, [+xgenlisting](https://github.com/monaqa/satysfi-enumitem/blob/master/enumitem.satyh#L112) command in [satysfi-enumitem](https://github.com/monaqa/satysfi-enumitem) ) Evaluating inline-text twice occurs many problems, for example, counter...
Can we have the license field in the OPAM file? ``` license: "LGPL-3.0-or-later" ``` or ``` license: "LGPL-3.0-only" ```
Currently the README mentions two installation methods: - @nyuichi’s Homebrew https://github.com/nyuichi/homebrew-satysfi - Building master with OPAM I'd like to propose to add the following methods for casual users. - @amutake’s...
Taking inspiration from #261, I've found that SATySFi misjudges exhaustiveness of patterns when constructors are shadowed. `shadow-con.saty`: ``` type t = | A | B type u = | A...
