From: jim Date: Sun, 22 Mar 2015 16:14:20 +0000 (-0400) Subject: refinements, diagrams X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=5b304e0cbe18ba3bc9b372e3ca8faf3edaa4e8e5;hp=5b304e0cbe18ba3bc9b372e3ca8faf3edaa4e8e5;ds=sidebyside refinements, diagrams ---