koteitan is a user on googoldon.net. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
koteitan @koteitan

なるほど。集合論では \(\left< x,y\right> =\{x,\{x,y\}\}\) とかでしたっけ。

@koteitan
そんなところですね。
数列ではありませんがloader.cではPair関数で2分木を表してる感じです、ヘッダに当たる部分が0か1か2か・・・で依存型かλ式か適用か変数か・・・にわかれるんだったか