Category:High-integrity programming languages

This does not mean that any of the pages in the category will be deleted. They may, however, be recategorized.
Please share your thoughts on the matter at this category's entry on the Categories for discussion page. Please do not empty the category or remove this notice while the discussion is in progress.
add entry: {{subst:cfr2|High-integrity programming languages|High integrity programming language|text=Your reason(s) for the proposed rename. ~~~~}}