Skip to content

Commit

Permalink
Update the link to the guide.
Browse files Browse the repository at this point in the history
  • Loading branch information
emina authored Sep 5, 2018
1 parent 7b87f14 commit 8fb7435
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -73,7 +73,7 @@ Alternatively, you can install Rosette from source:

* For more on using Rosette, see [_The Rosette Guide_][1]. Rosette's internals are described in [this PLDI'14 paper][2].

[1]: http://emina.github.io/rosette/rosette-guide/index.html
[1]: https://docs.racket-lang.org/rosette-guide/index.html
[2]: http://dl.acm.org/citation.cfm?id=2594340


Expand Down

0 comments on commit 8fb7435

Please sign in to comment.