Skip to content

Commit

Permalink
Remove special AEC instructions
Browse files Browse the repository at this point in the history
  • Loading branch information
justinpombrio committed Apr 17, 2018
1 parent 6caf729 commit 1b462f0
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,6 @@ interesting case studies.

## Installation Instructions

0. [Download SweetT from here](https://github.com/brownplt/judgmental-resugaring/releases/tag/v1.0).
(Note to artifact reviewers: if you are reading this, you probably
already have the zipfile.)
1. Install [DrRacket, version 6.10.1](https://download.racket-lang.org/all-versions.html).
SweetT should also work fine with later versions of DrRacket. If it
does not, please open a github issue and I'll see if I can fix it.
Expand Down

0 comments on commit 1b462f0

Please sign in to comment.