GaloisInc/cryptol — pull request #13 by orchid-hybrid (2014-04-26 02:43:24+00:00)
Title: Update README.md

Spelling: incorprate to incorporate