search

RedPRL / sml-telescopes

an abstract data type for telescopes
1 stars 1 forks source link

Remove "prime", "fresh" stuff #7

Closed jonsterling closed 8 years ago

jonsterling commented 8 years ago

This was only needed in Classic JonPRL because we were dealing with names in a rather fast-and-loose way. In Red JonPRL, we have no need for this, so we should remove it.