view wisdom/zygohistomorphic prepromorphism @ 6438:5e6f89fdd821

<b_jonas> le/rn not found/not found? \xc2\xaf\\(\xc2\xb0\xe2\x80\x8b_o)/\xc2\xaf
author HackBot
date Mon, 21 Dec 2015 18:24:57 +0000
parents 886257b5c7b7
children
line wrap: on
line source

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.