GaloisInc/cryptol — pull request #122 by spaceships (2014-10-07 23:14:53+00:00)
Title: Implemented a monomorphic 64/128 version of Simon

Now it type checks, and runs. Maybe down the road, will make it polymorphic again, when the type checker supports it.