Zulip Chat Archive

Stream: general

Topic: equation compiler documentation


view this post on Zulip Chris B (Sep 20 2019 at 20:44):

Is there any documentation/reading material that details how the equation compiler does its thing?

view this post on Zulip Sebastian Ullrich (Sep 20 2019 at 21:02):

Let's just say there's a good reason we want to replace it

view this post on Zulip 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).

view this post on Zulip 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

view this post on Zulip Chris B (Sep 20 2019 at 21:44):

That would be really interesting. Does that also mean it could potentially be implemented in Lean?

view this post on Zulip Sebastian Ullrich (Sep 21 2019 at 12:58):

It definitely will be


Last updated: May 14 2021 at 06:16 UTC