# HG changeset patch # User HackBot # Date 1428796703 0 # Node ID 841d3de5e7b4b1ad25734b6cf4602a60ee8df82c # Parent e1e446572983d839ce2999d89ae0fd625bd0e595 learn A zygohistomorphic prepromorphism is used when you really need both semi-mutual recursion and history and to repeatedly apply a natural transformation as you get deeper into the functor. diff -r e1e446572983 -r 841d3de5e7b4 wisdom/zygohistomorphic --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/wisdom/zygohistomorphic Sat Apr 11 23:58:23 2015 +0000 @@ -0,0 +1,1 @@ +A zygohistomorphic prepromorphism is used when you really need both semi-mutual recursion and history and to repeatedly apply a natural transformation as you get deeper into the functor.