GaloisInc/cryptol — pull request #123 by spaceships (2014-10-07 23:42:02+00:00)
Title: Implemented a monomorphic 64/128 version of SIMON

Now it typechecks, and runs.