前回 今回は加算をやろうと思う。 ネットで見たところ、少なくとも3つの定義があった。 # 加算1 let add1 = ev.prod(pr(cur(pi2), cur(s.ev)), nat); # 加算2 let add2 = ev.prod(pr(cur(pi2), exp(s, I)), I); # 加算3 let add3 = ev.pair(pr(cur(pi2), cur…