view wisdom/zygohistomorphic-prepromorphism @ 5302:9d3e2019ee31

<oerjan> slashlearn tdt/That doesn\'t tdt.
author HackBot
date Wed, 08 Apr 2015 05:00:38 +0000
parents b5367fa8e946
children
line wrap: on
line source

Zygohistomorphic-prepromorphism 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