Implementation of cryptographic primitives using Idris