余再帰
corecursion
mrsekut-p
-
/mrsekut-p/余再帰