Generalized El-Gamal cipher implemented in Idris

no issues!

there don't seem to be any issues for this project.