-
We are switich away from De Bruijn indices because 1) it's hard to read terms with De Bruijn indices 2) they are making lots of things slower
2f06623a
We are switich away from De Bruijn indices because 1) it's hard to read terms with De Bruijn indices 2) they are making lots of things slower