Raymond Baker

So this warning doesn't have any effect on how the Cubical repository will operate on my computer? I'm also wondering, what causes the warning?

I've been having the same question. When I try to download a purchased album, I get the error "Free accounts are not eligible to download tracks". So it seems that...

Would it make sense to add "postulate spheres" to the To Do list? They can be inductively defined as suspensions. But this could also just be a theorem. The more...

> Hey Raymond, welcome back! It's good to see you're active again. Looking forward to seeing what's coming next. 🙂 Hey Fredrik, thanks! I'm spinning up for the summer, hoping...

I've added a bit more work to this pr. The main result is a finished computation of transporting along an eckmann-hilton identification, resolving one of the tasks in issue #702...

I think this pr is now ready for review. There is one more lemma I will add later, namely computing transport along the eckmann-hilton 3-loop. But this relies on some...

> Those coherences look like a major PITA Yes, yes they were... Thanks for the diligent review process and all the feed back!

Okay, I tried messing around with the diagrams a bunch, but I couldn't get anything to look nice. I'll delete them for now, so this pr can get merged. I'll...

brother, you'd think I'd know how to spell concatenation by now

Thanks for all the help on this pr @VojtechStep , and sorry again for the quite drawn out process