These important features need a full documentation, in particular, just how realization adjusts the symbols of the target. Parts of this can be stolen from the stex-mmt paper at CICM
@Jazzpirate I can actually do that if we discuss this today. I am currently thinking about smglom/commputing/source/file-path as a good example for me to practice on.
These important features need a full documentation, in particular, just how
realization
adjusts the symbols of the target. Parts of this can be stolen from the stex-mmt paper at CICM