view wisdom/zygohistomorphic prepromorphism @ 9898:cf88cc32c827

<Zarutian> le//rn long winded// This is an adjective phrase used to describe something that has been long in the wind and has been slowly sculpted to be more flowing, thereby allowing wind to pass it with less resistance.
author HackBot
date Fri, 09 Dec 2016 21:39:50 +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.