Document E.^ syntax
What does this MR do?
Documents the E.^
syntax for lifting type variables and/or attributes
Changes to public APIs
n.a.
Author's checklist (required)
-
Intermediate commits compile (use git rebase -i main
if not) -
Newly added code has a style consistent with the rest of the repository -
Newly added code is documented (guidelines) -
If bugs have been solved, tests have been added (guidelines) -
A changelog entry has been added (guidelines)
Related issues
Closes #254 (closed)
Edited by Mart Lubbers