From c04c0731a576ea9e9fcacaf6981e556546ae312d Mon Sep 17 00:00:00 2001
From: jim
Date: Thu, 5 Mar 2015 12:49:15 -0500
Subject: [PATCH] fix markup
---
topics/week5_simply_typed.mdwn | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/topics/week5_simply_typed.mdwn b/topics/week5_simply_typed.mdwn
index 1a0425fe..fc7bfd27 100644
--- a/topics/week5_simply_typed.mdwn
+++ b/topics/week5_simply_typed.mdwn
@@ -99,8 +99,8 @@ and so on.
Given a set of types `T`, we define the set of typed lambda terms `Λ_T`

,
which is the smallest set such that
-* each type `t` has an infinite set of distinct variables, {x^t}_1,
- {x^t}_2, {x^t}_3, ...
+* each type `t` has an infinite set of distinct variables, x^{t}_{1},
+ x^{t}_{2}, x^{t}_{3}, ...
* If a term `M` has type σ -> τ, and a term `N` has type
σ, then the application `(M N)` has type τ.
--
2.11.0