TaPLを読むと再帰型の理論と実装について、equi-recursiveとiso-recursiveという二つの流儀があると書いてある。 equi-とiso-については以下の記事でも少し触れた： zehnpaard.hatenablog.com しかし実際どういう違いなのかをメモった上でどちらにするのかを…