Various crypto algos, etc. in Idris.