view wisdom/doodad @ 8638:0c8c5d021bf0

<izabera> ` sed -i \'y/F/f/\' bin/wisdom
author HackBot
date Tue, 28 Jun 2016 20:35:44 +0000
parents 76aa7bc1d723
children c777e2d91031
line wrap: on
line source

Doodads are just duoids in the category of endofunctors.