log

age author description
Tue, 03 Feb 2015 23:40:04 +0000 HackBot <vanila> learn 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
Tue, 03 Feb 2015 23:38:38 +0000 HackBot <oerjan> learn A morphism is just a natural transformation between two functors on 1.