Frank Staals

Thanks for your interest in hgeometry, and sorry for the late reply. 1. I would have to look into this in a bit more detail, but that indeed sounds like...

In terms of generating random polygons; I think this would actually be nice to implement (as well): https://ilyasergey.net/papers/polygons-icfp16.pdf I.e. it describes a way to generate (simple) polygons by generating the...

Hey there, Thanks for reporting this, and sorry for my (incredibly) late reply. I think this is some sort of floating point issue. The recent PR (#147) in which we've...

Hmm, interesting idea. Reducing space usage, and therefore presumably also computation time, is a worthwhile goal. Some concerns/remarks though: - Isn't it impossible to write an Unbox instance for Rational?...

> @hsyl20 IIRC the js payload sizes I've seen for ghcjs without the compactor are a full order of magnitude or two too large for production use when compiling larger...

I finally got sufficiently annoyed by this issue that I decided to fix it..... (at least for git repos)

According to [the IOG blog](https://engineering.iog.io/2024-04-11-ghc-update/) ghcjs-base and friends have been updated to support the ghc js backend, so I think that means this issue has finally become actionable :).

Hmm that might be the case. I'll see if I can get something like `((a == b) == False )` as the constraint instead. Not that that improves the situation...

> > I do think this reveals some opportunity for more refactoring though. > > YES. Please make yourself at home :) How would you write that code? Good question....

Hmm, for whatever reason CI seems to timeout with ghc 9.0.2 on OS X. Not sure why though.