view wisdom/zygohistomorphic prepromorphism @ 8243:0421a66f740c

<shachaf> le/rn usual suspects/There are 3.99 usual suspects, but they\'re usually rounded up.
author HackBot
date Tue, 31 May 2016 19:42:25 +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.