From 31ec46170dec4340108e5d0f829a4ebcff98879b Mon Sep 17 00:00:00 2001
From: Casey Klein <clklein@racket-lang.org>
Date: Tue, 9 Aug 2011 08:48:44 -0500
Subject: [PATCH] Adds STLC example to README

---
 collects/redex/examples/README | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/collects/redex/examples/README b/collects/redex/examples/README
index 51232ead99..2b2789e793 100644
--- a/collects/redex/examples/README
+++ b/collects/redex/examples/README
@@ -48,6 +48,9 @@ to demonstrate various different uses of PLT Redex:
 
   semaphores.rkt: a simple threaded language with semaphores
 
+  stlc.rkt: a semantics for a typed CBV language with multi-argument
+  functions, conditionals, and addition
+
   subject-reduction.rkt: demos traces/pred that type checks
   the term.