This project was the inspiration for a category theory implementation of salsa20 in haskell: https://github.com/oxarbitrage/hsalsa20
This project is for now abandonded. It never had the intention of becoming more than just dirty experiments with lean.