Matthew Hayden

Because snabbdom is a TypeScript library and `autoplay` is an attribute on the `audio` element. https://www.w3.org/TR/html50/embedded-content-0.html#the-audio-element

@axman6 You might not be running `bringUpToDate` with the necessary hook to get it to work. I'm not sure if this is the intended semantics for migrations that create tables,...

It maps to an integer. This actually looks like an issue in the implementation of SQL92 if it's implementing the BINARY collation on text string fields like VARCHAR. I'm not...

Sorry, 92 is the wrong standard. The BINARY type in MySQL might be what has confused me.

Not entirely sure if this is the place for it, however: I already had nix installed on Ubuntu 20.04 when running ./try-reflex and was required to restart the nix daemon...

Here's an updated link to the Greiner-Hormann paper: https://www.inf.usi.ch/hormann/papers/Greiner.1998.ECO.pdf

Oh, and maybe there should be parameters for the set theoretic operations to be performed between the two polygons, or better still separate functions. Any suggestions on what to call...

There's also additionally the degenerate cases to address in the intersection detection with GH. I think the gist of it is that you would obtain one or more polygons with...

The degeneracies, as I understand, stem from computing the faces. Are your proposing the Bentley–Ottmann algorithm for i)? There's some discussion on wikipedia about how to deal with the degenerate...

~~I'm also lost when it comes to processing data of type of `CoRec`. While I understand the dependent typing, but I'm also struggling with tracking down the instances for intersections...