Pure Koka implementation of SHA-1 hashing.
This is not a quality implementation that I produced as part of a university assignment. It is presented without license except as granted to and by the hosting platform; you may view it and fork it, but you may not modify or republish it otherwise.