Source: wikibot/no-deleting-theorem
= No-deleting theorem
{wiki=No-deleting_theorem}
The No-Deleting Theorem is a concept from computer science, particularly in the context of programming languages and type systems. Specifically, it is most commonly associated with the field of functional programming and the study of certain types of data structures and algorithms.