Eric Rodriguez
Eric Rodriguez
~~This would also be nice, as as far as I can tell the current solution is broke; it's set to one-time and something in FF is reading it before it...
Sam, how's the pool doing right now?
Yeah, I ended up doing that and re-importing the files manually (using the fact that .XCompose and .XCompose.txt are both valid names). A bit of a pain but I end...
I'd be super interested in this! Is this made in WinForms or WPF? I could try to implement it :)
hmm, I'm really not sure what's going on here. I don't know why structures automatically look for subsingleton instances, but from what I can see it's just slow because it...
should this prove the explicit bound now?
Cc @urkud who was going to do this
Safe flight!
Should we call this `map`? I was expecting this to be the fact that two n-th cyclotomic extensions were equivalent, which is something I don't think we actually yet have!
oh, nice! do you know if it works in the general infinite case? if you don't, I may have a think about it for fun soon.