gfngfn/SATySFi issues and pull requests

#463 - Add the syntax for quantifiers to value bindings

Pull Request - State: closed - Opened by gfngfn about 2 months ago

#462 - Adjust the interface of `Stdlib`

Pull Request - State: closed - Opened by gfngfn 2 months ago

#461 - Add `--verbose` and `--quiet`

Pull Request - State: closed - Opened by gfngfn 2 months ago

#460 - Fix `PackageConstraintSolver` about name clashes of packages from different registries

Pull Request - State: closed - Opened by gfngfn 2 months ago

#459 - Replace integers with the so-called big int (possibly by using Zarith)

Issue - State: open - Opened by gfngfn 2 months ago

#458 - Refactor configs and paths

Pull Request - State: closed - Opened by gfngfn 2 months ago

#457 - Refactor `sapheMain.ml`

Pull Request - State: closed - Opened by gfngfn 2 months ago

#456 - Modify cache file organization and add subcommand `saphe cache list`

Pull Request - State: closed - Opened by gfngfn 2 months ago

#455 - Introduce the intermediate directory for deps configs and dump files

Pull Request - State: closed - Opened by gfngfn 2 months ago

#454 - Change mandatory arguments of `get-initial-context`

Issue - State: open - Opened by gfngfn 2 months ago

#453 - (For 0.1.0-alpha.1) Fix operator precedence and associativity

Issue - State: open - Opened by gfngfn 2 months ago

#452 - Refine dump files

Pull Request - State: closed - Opened by gfngfn 2 months ago

#451 - Refine testing mechanism

Pull Request - State: closed - Opened by gfngfn 2 months ago

#450 - (For 0.1.0-alpha.1) Refine `Stdlib`’s interface

Pull Request - State: closed - Opened by gfngfn 3 months ago

#449 - fix duplication of font-latin-bold

Pull Request - State: closed - Opened by ghaaj 3 months ago - 1 comment

#448 - Fix Opam Dependency Submission workflow

Pull Request - State: closed - Opened by smorimoto 3 months ago - 3 comments

#447 - Cleanup

Pull Request - State: closed - Opened by smorimoto 4 months ago - 8 comments
Labels: build

#446 - `Pervasives` -> `Stdlib`

Pull Request - State: closed - Opened by smorimoto 4 months ago - 6 comments
Labels: build

#445 - Prepare for Better Windows Support

Pull Request - State: closed - Opened by smorimoto 4 months ago - 1 comment

#444 - Set versions to `0.1.0-alpha.1`

Pull Request - State: closed - Opened by gfngfn 5 months ago

#443 - Allow external dependencies in registries

Pull Request - State: closed - Opened by gfngfn 5 months ago

#442 - Support transparent PNG images

Pull Request - State: closed - Opened by nsfisis 5 months ago - 1 comment

#441 - Alternative texts using tagged PDFs

Issue - State: open - Opened by gfngfn 5 months ago

#440 - Add `block-fil`

Issue - State: open - Opened by gfngfn 6 months ago

#439 - Optimise list operations by maintaining reversed accumulator

Pull Request - State: closed - Opened by ghost 7 months ago

#438 - Update GitHub Actions

Pull Request - State: closed - Opened by smorimoto 7 months ago - 1 comment

#437 - Remove `~/.saphe/unidata/` and develop `unidata` package

Pull Request - State: closed - Opened by gfngfn 8 months ago

#436 - Develop how to load files in packages and use it for handling hyphenation dictionaries

Pull Request - State: closed - Opened by gfngfn 8 months ago

#435 - Separate `eval_document_file` to `BuildDocument` module

Pull Request - State: closed - Opened by kyori19 8 months ago - 1 comment

#434 - Support semver prerelease

Pull Request - State: closed - Opened by gfngfn 8 months ago

#433 - Modify the registry format

Pull Request - State: closed - Opened by gfngfn 8 months ago

#432 - Separate `ErrorReporting` from `frontend/main.ml`

Pull Request - State: closed - Opened by kyori19 8 months ago - 1 comment

#431 - fix mitou-report numbering bug

Pull Request - State: closed - Opened by mtshiba 9 months ago - 1 comment

#430 - Change the package config format

Pull Request - State: closed - Opened by gfngfn 9 months ago

#429 - Introduce `local` packages to Saphe

Pull Request - State: closed - Opened by gfngfn 9 months ago

#428 - Release 0.0.11

Pull Request - State: closed - Opened by gfngfn 9 months ago

#427 - Add OCaml 5

Pull Request - State: closed - Opened by y-yu 10 months ago

#426 - Improve dependencies in configs

Pull Request - State: closed - Opened by gfngfn 10 months ago

#425 - Avoid `camlimages.5.0.5` for an installation issue

Pull Request - State: closed - Opened by gfngfn 11 months ago

#424 - Dune build fails when `camlimages.5.0.5` is installed

Issue - State: open - Opened by TonalidadeHidrica 11 months ago - 3 comments

#423 - Is there a simple default document class for non-Japaneese documents?

Issue - State: open - Opened by alerque 11 months ago - 1 comment

#422 - Separate `saphe` from `satysfi`

Pull Request - State: open - Opened by gfngfn 11 months ago

#420 - Discard `OptionState`

Pull Request - State: closed - Opened by gfngfn about 1 year ago

#419 - Generate `version.ml` from `satysfi.opam` to make releasing easy

Pull Request - State: closed - Opened by y-yu about 1 year ago - 5 comments

#417 - Add split-grapheme-cluster and string normalization function

Pull Request - State: closed - Opened by puripuri2100 about 1 year ago - 3 comments

#403 - (For 0.1.0-alpha.1) Arrange the spec of config files for hyphenation and Unicode-aware typesetting

Issue - State: open - Opened by gfngfn over 1 year ago

#401 - Add an option for specifying where to put the `.satysfi-aux` file

Issue - State: closed - Opened by gfngfn over 1 year ago - 1 comment
Labels: enhancement

#395 - Release SATySFi 0.0.9

Pull Request - State: closed - Opened by gfngfn over 1 year ago

#392 - Changed lexers to use Sedlex

Pull Request - State: open - Opened by puripuri2100 over 1 year ago - 6 comments
Labels: enhancement

#389 - record punning & record patterns

Pull Request - State: open - Opened by leque almost 2 years ago
Labels: enhancement, language design

#388 - Support fixed dependencies

Pull Request - State: closed - Opened by gfngfn almost 2 years ago - 1 comment

#387 - Refactor config paths

Pull Request - State: closed - Opened by gfngfn almost 2 years ago

#386 - Small fixes of the package system

Pull Request - State: closed - Opened by gfngfn almost 2 years ago

#385 - Support `external_sources` section

Pull Request - State: closed - Opened by gfngfn almost 2 years ago

#384 - Develop how to fetch data from package registries

Pull Request - State: closed - Opened by gfngfn almost 2 years ago

#383 - Develop package/registry configs

Pull Request - State: closed - Opened by gfngfn almost 2 years ago

#382 - Make multiple incompatible versions of a package able to coexist

Pull Request - State: closed - Opened by gfngfn almost 2 years ago

#381 - Modify the version requirement format

Pull Request - State: closed - Opened by gfngfn almost 2 years ago

#380 - Discard `dist/` and `local/`

Pull Request - State: closed - Opened by gfngfn almost 2 years ago

#379 - Develop how to fetch packages

Pull Request - State: closed - Opened by gfngfn almost 2 years ago

#378 - Develop a unit testing system

Pull Request - State: closed - Opened by gfngfn almost 2 years ago

#377 - Introduce the notion of test dependencies

Pull Request - State: closed - Opened by gfngfn almost 2 years ago

#376 - Make settings of Markdown class packages written in config files

Pull Request - State: closed - Opened by gfngfn almost 2 years ago