This commit is contained in:
Robby Findler 2015-01-23 09:41:07 -06:00
parent 6bf6f4d392
commit 430a4b08c4

View File

@ -112,7 +112,7 @@ Contracts in Racket are subdivided into three different categories:
For more about this hierarchy, see @tech{chaperones} and
a research paper on chaperones, impersonators, and how they can be used to
implement contracts~@cite{Strickland12}.
implement contracts @cite{Strickland12}.
@local-table-of-contents[]