Alex Rozanov

If I rewrite the code to use explicit projectors `(Mkmy_record_type?.field_name my_obj)`, can we expect something to change in the current fstar build? I'm not saying this doesn't need fixing (of...

The issue with my algebra code is fixed (I avoided this freeze) -- but the issue with F* remains

Also, this is probably the same problem as [mentioned here](https://github.com/FStarLang/FStar/issues/2539). The fix @aseemr suggested didn't work btw.

Not even both, just highlighting the first failure would also be good news :)

I think it would be good to have the ability to write extensions for multiple classes in a single context. For example, if you need to cache reflection objects (especially...

What would happen if we just make a hotkey to assign to all selected units `Mission=Sticky`? How difficult is that to implement?