bitonic / tog

25 stars 3 forks source link

Handle equality of records better #3

Open bitonic opened 10 years ago

bitonic commented 10 years ago

Generate equations for the projections instead of expanding before. We also need a better story for eta-expanding metas.