mastodon.cardina1.red は、数々の独立したMastodonサーバーのうちのひとつです。サーバーに登録してFediverseのコミュニティに加わってみませんか。

サーバーの情報

3
人のアクティブユーザー

この頃のワイは体力があったので、λ項をアルゴリズムで SKI コンビネータに変換するのは負けだと思ってた (?)

らりお・ザ・何らかの🈗然㊌ソムリエ

BCKW コンビネータの存在に触れる前のことなので S(KS)K を B でなく A と置いていたり (たぶん Apply のつもり) 、いろいろ趣がある (?)