log wisdom/diagram @ 12289:dca7aa2524f0 draft

age author description
Tue, 26 Jul 2016 07:07:20 +0000 HackBot <shachaf> learn A diagram is just a functor.