Takashi Suwa

Displayed maths in +proof collapse in some cases

3

Reported here: https://twitter.com/mr_konn/status/1522197421312593921?s=20&t=zNgPdOp1zqE9rwpBUGIDQw

Cannot report code positions for some error

1

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...

[WIP] Develop 0.1.0

2

Major breaking changes other than ones by nested PRs: - Migration from an SML\#-like record polymorphism to a row polymorphism - Labeled optional arguments handled by rows - A module...

This issue originates from a comment by `@hak7a3` on the type `itemize` of SATySFi: #SATySFi 、itemizeが組み込み型なんだけど、各Itemにオプション引数ないから辛い（bibitemっぽいことやろうとした）。現状、新しい文法レベルの要素を追加するには、srcいじるか、型追加するしかない？— HAKUTA Shizuya (@hak7a3) 2018年2月13日 It basically says that the type `itemize` of SATySFi seems...

Mutually recursive modules

2

Since it is often required in Erlang that two kinds of processes have the ability to actively start to send data to each other, it is desirable that modules can...

Fix `logger_formatter` about `msg` by making templates linear before split

3

I have encountered a somewhat strange behavior of [`logger_formatter`](https://www.erlang.org/doc/man/logger_formatter.html) about `msg` in templates. This pull request attempts to remedy it. The behavior is exemplified by the following application: - https://github.com/gfngfn/a_strange_behavior_of_logger_formatter...

The present PR suggests adding the following two values to `Base.Monad.S`: ```ocaml val fold_list : f:('a -> 'b -> 'a t) -> init:'a -> 'b list -> 'a t val...

Extension for handling Yojson data with code positions

1

This PR proposes an extension that enables us to handle Yojson data equipped with code positions the data come from. It adds * a submodule `Yojson.SafePos` and * a type...