Diary

2022/11/18

今日はErgのWeb REPLを作っていました。 Erg playground 初回の入力だけもっさりしていますが、これは処理系の初期化のためです。 どういうカラクリかというと、Ru

2022/11/16

Erg 0.5.12をリリースしました。 このリリースでは有志の方によりエラー表示の改善とstream operator(|>)が使えるようになりました。

2022/11/14

ちょっと遅いですが11月14日の日記です。 午前はErgの微修正とPRの消化をしました。有志の方によりエラー表示がリッチになったので、今判明している小バ