arrow-recursion-extensions / arrow.recursion.extensions.mu.birecursive

Package arrow.recursion.extensions.mu.birecursive

Extensions for External Classes

arrow.recursion.data.Mu