[Feature request] Make Geometric Algebra standalone (if possible and feasible)

[joha2]

First of all: Implicit CAD and HSlice are awesome! Although I am a Haskell n00b, I think the idea describing CAD geometry via SDFs/implicit functions is quite fascinating. So, thank you very much for your effort!!!

In the talk at the CCC camp 2023 (great talk btw. 😄 ) you mentioned Geometric Algebra which you used for HSlice. Would it be possible to provide this as a standalone library in the Haskell eco system? Or this there something similar, which I missed?
Since I would like to learn Haskell and I'd like to use Geometric Algebra for this effort, but I am not quite ready to implement this stuff on my own, so I would like to use your's 😄. Would that be possible? Or is this request very silly for some reason? 😄

Best wishes
Johannes

[julialongtin]

this request makes perfect sense! The implementation is in just a few files, and could easily become a separate library.