Programm für das achtundzwanzigste Treffen am 13. Juli 2017
Gepostet am 4. Jul 17
von Tim Baumann, Profpatsch
Wir trafen uns diesmal recht unvorbereitet und sprachen ein bisschen über
recursion schemes,
wie Fix
verwendet werden kann, was denn
ein
Hylomorphismus und
ein
Anamorphismus ist
und wie Edward Kmett das in
seinem
recursion-schemes-Paket
auf die Spitze treibt.