🤔
> 大堀 淳. 主要な型判定をもつMLの型理論と型推論アルゴリズム

PPL 2023 の採択リスト出てたか
https://jssst-ppl.org/workshop/2023/accepted.html

今日から Social Vivaldi の住人になりました。定着するか分からんけど、よろしくです

デフォルトの公開範囲指定すると、ローカルには流せないようにできるのか

てすてす