Deletion of Cryptol (2nd nomination)

Comment: Two presented conference papers meet the requirements of  as far as I can see
Stance: keep
Cited policy: Wikipedia:Notability (WP:N)