X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week5_system_F.mdwn;h=fe451a0bb556f6bf5e62287eb1a7433eaff0f85f;hp=559135e03ec4b57137881cecc88a1f34fd9cd3b9;hb=469782495e87cba0cc3016c96e070a9cc8fc6423;hpb=cd52b6efa26b90210609bc266ade1fea3953b6ce diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn index 559135e0..fe451a0b 100644 --- a/topics/_week5_system_F.mdwn +++ b/topics/_week5_system_F.mdwn @@ -90,7 +90,7 @@ instantiated as a function from expresions of type `'a` to expressions of type `'a`. In general, then, the type of the unapplied (polymorphic) identity function is -(Λ 'a (λ x:'a . x)): (∀ 'a . 'a -> 'a) +(Λ 'a (λ x:'a . x)): (∀ 'a . 'a -> 'a) Pred in System F ----------------