Fixed a typo in typed Scheme's base env.

This commit is contained in:
Vincent St-Amour 2010-05-19 10:37:42 -04:00
parent 849ee86c85
commit eb95b35a12

View File

@ -142,7 +142,7 @@
[fifth (-poly (a) ((-lst a) . -> . a))] [fifth (-poly (a) ((-lst a) . -> . a))]
[sixth (-poly (a) ((-lst a) . -> . a))] [sixth (-poly (a) ((-lst a) . -> . a))]
[seventh (-poly (a) ((-lst a) . -> . a))] [seventh (-poly (a) ((-lst a) . -> . a))]
[eigth (-poly (a) ((-lst a) . -> . a))] [eighth (-poly (a) ((-lst a) . -> . a))]
[ninth (-poly (a) ((-lst a) . -> . a))] [ninth (-poly (a) ((-lst a) . -> . a))]
[tenth (-poly (a) ((-lst a) . -> . a))] [tenth (-poly (a) ((-lst a) . -> . a))]
[rest (-poly (a b) [rest (-poly (a b)