GaloisInc/cryptol — pull request #11 by ajdm (2014-04-25 00:14:24+00:00)
Title: Fix reference

The section is still currently empty, but the reference points to the right place now rather than appearing as [**??**].