Fresh variable: Difference between revisions

Content deleted Content added
start stub, yet unsourced
 
Line 16:
 
{{logic-stub}}
 
[[Category:Term-rewriting programming languages]]