@dibblego Generally cata- and anamorphisms are of the same structure as their underlying fixed points. See Mu & Nu in http://hackage.haskell.org/package/recursion-schemes-4.1/docs/Data-Functor-Foldable.html …
A right-fold is of the same structure as [] https://gist.github.com/tonymorris/b0c325f99ada40265e82 …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.