Mercurial > repo

view wisdom/zygohistomorphic prepromorphism @ 7341:d3c294a55f99

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<zgrep> misle/rn @/|a+b@| = { \xe2\x88\x9a(a\xc2\xb2-b\xc2\xb2) if a\xc2\xb2-b\xc2\xb2 \xe2\x89\xa5 0 ; i\xe2\x88\x9a(a\xc2\xb2-b\xc2\xb2) if a\xc2\xb2-b\xc2\xb2 < 0 }
author HackBot
date Fri, 01 Apr 2016 04:25:49 +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.