From: Jim <jim.pryor@nyu.edu>
Date: Tue, 24 Mar 2015 00:47:11 +0000 (-0400)
Subject: Merge branch 'working'
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=12731fbd2ab9f1bfb047c86a7fb5b908702e42fc;hp=bef20b6d042744a46a54ca2ec4e548476ddd9311

Merge branch 'working'

* working:
  update untyped code
---

diff --git a/code/interp-1.2.tgz b/code/interp-1.2.tgz
deleted file mode 100644
index bce4dbc0..00000000
Binary files a/code/interp-1.2.tgz and /dev/null differ
diff --git a/code/untyped_full-1.3.tgz b/code/untyped_full-1.3.tgz
new file mode 100644
index 00000000..0946ca07
Binary files /dev/null and b/code/untyped_full-1.3.tgz differ