Deletion of Cryptol

Comment: The published academic papers that mention Cryptol other than in passing are written by people involved with the Cryptol project (e.g. for the paper referenced above, Jeff Lewis works at Galois Connections, and Brad Martin at the NSA). Maybe Cryptol will become notable, but it is impossible to tell now if and when that will be the case. Perhaps the future is for cryptological libraries in more general languages rather than such domain-specific languages; |who can say? Currently the article does not meet Wikipedia's criteria. Whether it is an exciting and important development for important people in an important field is irrelevant if that importance is not reflected in independent reliable sources. Special:Contributions/88.235.63.32|88.235.63.32
Stance: delete
Cited policy: Wikipedia:What Wikipedia is not (WP:BALL)