Kyle Raftogianis

I agree that "slip days" is misleading. I would expect OK to deal with grade changes in that case. I'm curious how instructors will use this. Will they manually go...

Possibly related to #947?

Sure, it might require some manual tuning to find the right number

We should be careful to not include staff members in the result (i.e. don't filter by `STUDENT_ROLE`)

Sorry for the title changes. Should it be backups or only submissions? We also don't want to spend resources composition grading if a student is not officially taking the course.

To be honest I don't really have one. Making it optional is optional.

A point in favor of the first definition is that it works nicely for ints as well: ``` _≤_ : ℤ → ℤ → Type₀ m ≤ n = Σ[...

I personally think of decidability as a "property" of a definition, rather than a definition itself. So I would rather define the order as proposition, and then prove that it's...

Some material already exists: https://okpy.github.io/documentation/client.html and https://github.com/Cal-CS-61A-Staff/ok-client/wiki

Use subprocess instead? Something like this: http://stackoverflow.com/questions/1191374/subprocess-with-timeout