弱い Haskeller。C言語が書けないのでプログラミングできないです
何も確かなものがねえ。これほんとに sound なんか?
雰囲気で型システム作って、雰囲気で健全そうな双方向型システム作って、雰囲気でアルゴリズム化をやってる
@zundan@mastodon.zunda.ninja 10/23 時点では 9% ぐらいは 2.1 対応してましたね (2.1 の方が取れる情報は多い)。その内どれぐらいが 2.0 に対応してないかは見てないですがhttps://github.com/mizunashi-mana/fediverse-stats/blob/main/notebook/fediverse-stats.ipynb