Alpha-convert booleans
authorjim <jim@web>
Fri, 20 Feb 2015 13:38:06 +0000 (08:38 -0500)
committerLinux User <ikiwiki@localhost.members.linode.com>
Fri, 20 Feb 2015 13:38:06 +0000 (08:38 -0500)
commit4ec8e1d04f170f223dc814b8b94d274fd0571c2d
tree65eb53bbe4f865b73eb887e3159b12fd62d0a842
parent89121328344917225949cb675a6706cbcd0f83d9
Alpha-convert booleans
topics/week4_fixed_point_combinators.mdwn