ログイン

最近の検索

検索履歴はありません

検索オプション

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

管理者

サーバーの情報

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

mastodon.cardina1.red: 概要プライバシーポリシー

Mastodon: 概要アプリを入手キーボードショートカットソースコードを表示v4.3.6

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

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

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

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

2021年3月06日 13:36·公開
0ブースト·0お気に入り
検索リアルタイムフィード
概要