From: jim <jim@web>
Date: Wed, 18 Feb 2015 03:51:34 +0000 (-0500)
Subject: add shortcut rule to translation, refined exposition
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=c9c1e5ed5107559f98721ae87f0a9f5ef1e4413f;hp=c9c1e5ed5107559f98721ae87f0a9f5ef1e4413f

add shortcut rule to translation, refined exposition
---