Unisonのversion 1.0でたのか👀 unison-lang.org/unison-1-0/

＜速報＞国際卓越研究大学に東京科学大と京都大を認定へ　東大は継続審査 mainichi.jp/articles/20251…

Wrote a post on a verified pattern-matching coverage checker! wasabi315.github.io/en/posts/verif… (英語版も見れるようにしました！ChatGPT様様...)

あけましておめでとうございます！ 今年もよろしくお願いします！

amalgamateという動詞があるのか 化学のアマルガムのあたりから転じて融合するみたいな意味らしい

Agdaのマクロ、相互再帰的なデータ型を定義するのは無理なのか

E-GraphとかEquality Saturationあたりすごい気になる

👀 github.com/philzook58/awe…

OxCamlのlocal使うとeffect safety実現できるのか github.com/janestreet/han…