Deletion of Frenetic (programming language)

Comment: There's no good reason to exempt programming languages from the |general notability guideline. There are hundreds, and probably thousands of programming languages that are invented, named, and mentioned once or twice. If they don't have substantial coverage in independent, reliable sources, they shouldn't be in Wikipedia. Unless the Voellmy–Hudak paper has substantial content – I don't have access to it – this one needs to go. People who are interested in programming languages really like this content, but it should be transwikied to a big Compendium of Programming Languages on Wikibooks, or a programming languages wiki that isn't burdened by Wikipedia's standards for |notability or |verifiability
Stance: delete
Cited policy: Wikipedia:Notability (WP:GNG||WP:N||WP:V)

Comment: Creation and nomination both y. But anyway, given that the subject is a programming language, I'm inclined to |forgo the . Since the language has a published conference paper, I recommend Keep
Stance: keep
Cited policy: Wikipedia:Do not disrupt Wikipedia to illustrate a point (WP:POINT||WP:IAR||WP:GNG)

Comment: Harassment? 
Stance: keep
Cited policy: Wikipedia:What Wikipedia is not (WP:PAPER)