There's no reason to name it echo-paper3.rkt any more.

This commit is contained in:
Tony Garnock-Jones 2013-03-29 15:33:08 -04:00
parent ebefbade2f
commit a55b9e2b4f
2 changed files with 1 additions and 1 deletions

View File

@ -12,7 +12,7 @@ single
[`marketplace/`](https://github.com/tonyg/marketplace/tree/master/marketplace/).
- the echo server example from the paper, in
[`marketplace/examples/echo-paper3.rkt`](https://github.com/tonyg/marketplace/tree/master/marketplace/examples/echo-paper3.rkt).
[`marketplace/examples/echo-paper.rkt`](https://github.com/tonyg/marketplace/tree/master/marketplace/examples/echo-paper.rkt).
- the chat server example from the paper, in
[`marketplace/examples/chat-paper.rkt`](https://github.com/tonyg/marketplace/tree/master/marketplace/examples/chat-paper.rkt).