↑up
Prim.java にある ShowFunc.call は、引数をひとつしかとらないのに、 引数の型が AtomExpr[] になっている。なぜだろう。(なにか理由があるはずだが思い出せない。)
LambdaForm は、arity >= 0 の関数一般に対応するため、arity によらず引数の型は AtomExpr[] にして可変長引数を実現しているのでした。 018 のために IntegerAdd をみて思い出した。