In the paper I use the term banana bracket to refer to the catamorphism delimiters !| and |!.
論文では、カタモルフィズムの区切りを指すために !| と |! のいずれかの括弧という表現を使っています。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★