From 815520c4c0adc3759fa8dd267ad82f79ed4ab89f Mon Sep 17 00:00:00 2001 From: Chris Date: Mon, 23 Feb 2015 16:43:07 -0500 Subject: [PATCH 1/1] edits --- topics/_week5_system_F.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ---------------- -- 2.11.0