# HG changeset patch
# User HackBot
# Date 1428796754 0
# Node ID 886257b5c7b7e01fd91f92e78dafc496b4af7511
# Parent  841d3de5e7b4b1ad25734b6cf4602a60ee8df82c
<oerjan> ` mv wisdom/zygohistomorphic{," prepromorphism"}

diff -r 841d3de5e7b4 -r 886257b5c7b7 wisdom/zygohistomorphic
--- a/wisdom/zygohistomorphic	Sat Apr 11 23:58:23 2015 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-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.
diff -r 841d3de5e7b4 -r 886257b5c7b7 wisdom/zygohistomorphic prepromorphism
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/zygohistomorphic prepromorphism	Sat Apr 11 23:59:14 2015 +0000
@@ -0,0 +1,1 @@
+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.