Esse programa é sobre criptografia genérica e os tipos de algoritmos de chave pública. Ele foi escrito em Haskell e se chama haskell-crypto-pubkey-types. 