fthire

In the long term, this will be an issue anyway. When terms are generated from a program, in general we don't need all the machinery provided by Earley. Instead, we...

Should it be called `LpMeta`? :grin:

What is the current status of this MR? Is there a way to help? What about the other chapters?

I think it would be better if we can ensure it is consistent with https://github.com/Deducteam/Dedukti-standard . Is there something urgent relate to this MR?