From: jim <jim@web>
Date: Fri, 20 Feb 2015 18:02:10 +0000 (-0500)
Subject: add anchor #deriving-y
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=2dd584050f92ab313c395dc7bb915754d61605b4;hp=2dd584050f92ab313c395dc7bb915754d61605b4

add anchor #deriving-y
---