An implementation of the SHA-1 hash function in Standard ML.