From: jim <jim@web>
Date: Sat, 21 Mar 2015 14:00:10 +0000 (-0400)
Subject: fix System F booleans
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=2d9654c7eb13ddda627147563b2e937c67c7b8e3;hp=2d9654c7eb13ddda627147563b2e937c67c7b8e3

fix System F booleans
---