Get rid of ListI - Githubissues

VictorCMiraldo / reg-diff

Diffing experiment for a simpler universe

0 stars 0 forks source link

Closed VictorCMiraldo closed 7 years ago

VictorCMiraldo commented 7 years ago

ListI is just All with some minor universe differences.

We should get rid of ListI and stick to All.