# HG changeset patch
# User HackBot
# Date 1469516840 0
# Node ID dcc7ac1c93bd8ab7d578504eed26248e76eebf62
# Parent  d775072805e29c802576664673cb3af0518c5ec1
<shachaf> learn A diagram is just a functor.

diff -r d775072805e2 -r dcc7ac1c93bd wisdom/diagram
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/diagram	Tue Jul 26 07:07:20 2016 +0000
@@ -0,0 +1,1 @@
+A diagram is just a functor.