Can we remove RRef?
andrevidela opened this issue · 0 comments
andrevidela commented
Since RRef and TVars are basically the same, should we remove RRefs? THey serve no additional purpose other than to be able to tell if something is inteded to be used as an external reference or as a free variable.