From: Chris Barker <barker@omega.(none)>
Date: Mon, 25 Oct 2010 02:12:16 +0000 (-0400)
Subject: added Curry-Howard
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=4cc40e4c5ca2646b579213ee40f2caa794a3a474;hp=4cc40e4c5ca2646b579213ee40f2caa794a3a474;ds=sidebyside

added Curry-Howard
---