crypto-agda.svg
poster/crypto-agda.pdf