Jacques Carette

No, 'concrete' does not mean that it can no longer be refined. It only means that it is specific enough that it is possible to give (unique) values to everything...

Here is an example: is `a*x^2+b*x+c` a concrete polynomial or not? Well, if we have values for `a,b,c` it is. But more generally so: in a context where we have...

Shallow answer to just the part about `drasil-lang`'s document language depending on `CodeExpr`: maybe we could make that part polymorphic, i.e. the document language would have a type parameter that...

I wonder why `pyDocCommentStart = pyCommentStart pyCommentStart` was defined that way at all? Perhaps this is an older style that is deprecated? This doesn't seem accidental, so I'd like to...

Hate the name too. However, I've defined (and used) a combinator for this **a lot** in `agda-categories`. See the bottom of [Category.Core](https://agda.github.io/agda-categories/Categories.Category.Core.html) for the details. While it completely fails the...

There are times where strong language is the simplest way to communicate one's strong feelings, especially in a written medium like this. I wanted no ambiguity. I think I see...

On revisit, I think I'm siding with @MatthewDaggitt on this (i.e. not keen). If one were to use equational reasoning in these cases, all the needed kit is already in...

Some things got worse in SSP back in the day when we only had `Expr`. Now that `Expr` has been split into 3, it is possible to re-add some things...

commit 391bc4e59 removes the adjective comment from `Concepts`. In "launch angle" and "launch speed", "launch" is not an adjective, but still a noun. For example, "projectile angle" and "projectile speed"...

Deal with Reference author duplication in 78ddc6d30.