1. Ambrus Kaposi Avatar Ambrus Kaposi
  2. Untitled project
  3. tt-in-tt
  4. Issues

Define eliminators for renamings

Issue #9 new
Ambrus Kaposi repo owner created an issue

In NBE.Renamings (and maybe NBE.Nf) use eliminators similar to ElimNes, defined in NBE.Nf.Nes instead of ad-hoc solutions. also remove the ad-hoc special eliminators defined in NBE.Renamings.Var(s).

Comments (0)

  1. Log in to comment
Assignee
–
Type
bug
Priority
major
Status
new
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!