VictorCMiraldo reg-diff issues - Githubissues

VictorCMiraldo / reg-diff

Diffing experiment for a simpler universe

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Make the stratified Patchmu the default one!

#10 VictorCMiraldo opened 7 years ago
0
Model insertions and deletions properly

#9 VictorCMiraldo opened 7 years ago
5
Make Spine into a bi-functor

#8 VictorCMiraldo opened 7 years ago
2
Should we use All and One for interpreting products and sums?

#7 VictorCMiraldo opened 7 years ago
2
Get rid of ListI

#6 VictorCMiraldo closed 7 years ago
0
Fix Alignment

#5 VictorCMiraldo closed 7 years ago
1
Big Rename

#4 VictorCMiraldo closed 7 years ago
0
Prepare for some conference

#3 VictorCMiraldo opened 7 years ago
0
Remove Ssym constructor

#2 VictorCMiraldo closed 7 years ago
0
Non-strictly positive HasChange type.

#1 VictorCMiraldo closed 8 years ago
0