User Details
- User Since
- Aug 27 2020, 3:50 PM (90 w, 3 d)
Oct 30 2020
Sorry forgot this never actually ended up getting pushed and it's my last day
Oct 27 2020
Oct 25 2020
Oct 22 2020
Oct 21 2020
Update comment
Oct 20 2020
Update name of trait and apply it to involutions instead
Oct 18 2020
Oct 16 2020
Can you push it when you get a chance I don't have push access, thanks!
Oct 14 2020
Oct 13 2020
I dont have push access, if you get a chance can you push for me? Thanks!
Add the missing revert
Oct 9 2020
Oct 8 2020
I don't have push access so if you get a chance to push my code and its good please do, thanks!
Fix last few minor comments
Oct 7 2020
Allow traits to continue folding if an inplace fold occured
Oct 6 2020
Added no side effect requirement to involution, changed fold to two different signatures to be consistent with existing fold functionality, and fixed issues addressed by comments
Oct 5 2020
I agree with Mehdi on keeping it as one PR but updating the name since making a separate PR with just the trait folding would require writing code for its test that's almost the same as what's required for involution anyways
update commit message to be more descriptive of the infrastructure change