Mutual fixpoints #46
Description
PR #45 implements the unary fixpoint construction inside COFE's. Mutual fixpoints could be ported similarly.
{{ message }}
PR #45 implements the unary fixpoint construction inside COFE's. Mutual fixpoints could be ported similarly.