もう少し見てみた。 どうも、{P}や{I}という注釈で並列性を記述するみたい。 Fib n -> + ({P} Fib (- n 1)) (Fib (- n 2))というふうに書くと、fibを並列で計算するようになるみたいです。 ただし、この記法は、今のClean 2.1.1はもちろん、昔のClean 1.3.2…

ぅ