Title Remove axioms layers from the translator output
Priority wish Status chatting
Superseder Nosy List augusto, jendrik, malte, salome
Assigned To Keywords translator
Optional summary
See meta-issue: issue924.

Created on 2020-07-22.13:35:14 by salome, last changed by salome.

See meta-issue: issue924.
msg9665 (view) Author: salome Date: 2020-07-22.13:35:14
We want to remove axiom layers from the translator output and instead compute
them in the search component where needed. This is clearer from a design 
perspective since layers are not really a property of derived variables but 
rather of an algorithm that computes their values. It also allows for different
layer strategies in different parts of the code.
Date User Action Args
2020-07-22 13:35:14salomecreate