Chris B (Sep 20 2019 at 20:44):
Is there any documentation/reading material that details how the equation compiler does its thing?
Sebastian Ullrich (Sep 20 2019 at 21:02):
Let's just say there's a good reason we want to replace it
Chris B (Sep 20 2019 at 21:21):
Oh word. Is the desire to redo/simplify it or replace it with something else entirely? I like some of the user-facing ideas it presents quite a bit, but it can feel black box-ish at times (hence the docs question).
Sebastian Ullrich (Sep 20 2019 at 21:27):
I believe the plan is to both simplify it and make it customizable. Then users can implement the complicated rules themselves if they really need them, haha
Chris B (Sep 20 2019 at 21:44):
That would be really interesting. Does that also mean it could potentially be implemented in Lean?
Sebastian Ullrich (Sep 21 2019 at 12:58):
It definitely will be
Last updated: May 14 2021 at 06:16 UTC