Salsa20 working better with type checker improvements (thanks, Sean!)
Salsa20 working better with type checker improvements (thanks, Sean!)

GaloisInc/cryptol,GaloisInc/cryptol,ntc2/cryptol,GaloisInc/cryptol