Jacques Carette comments

Results 1199 comments of


                                            Jacques Carette

Insertion sort and its properties. A bug in MergeSort.agda is fixed.

Glad it was sorted (ahem) out. Yes, this is super subtle. Happy to help document -- but where? I guess it doesn't matter as much as to where we put...

infixity mismatch between `_∧_` and the ring multiplication `_*_`

Is this so deep that it is in the `style-guide` for fixities?

infixity mismatch between `_∧_` and the ring multiplication `_*_`

Changing that would likely break code. (Not the `style-guide` but the actual inconsistency.) v3.0 candidate?

Modular arithmetic in terms of ideals

Would you want some help to get this further along?

Modular arithmetic in terms of ideals

Ok, once my students make further progress on the ones they are currently working on, I'll get them to look at this.

Restore loss useful information in some code comments

I meant the *generated* code comments, not sure if that was clear?

Order of reading inputs, deriving pseudo-input values, and checking constraints is incorrect

Hmm, why software constraints first? Are physics constraints even more fundamental? It would also be nice if the error report was more informative as to the the reason (i.e. mention...

Order of reading inputs, deriving pseudo-input values, and checking constraints is incorrect

The physical constraint are to inputs that "make sense" physically. I believe that the software constraints are those where we know the computed results will have some degree of accuracy....

Is `Variable String Expr :: Expr` necessary?

Because that change was not about having a type but rather having a name, i.e. it is the `String` argument that is the useful part. At least, that's my memory...

Duplicate `UID`s with different data

This is likely to be quite fruitful indeed.