Skip to content

Document E.^ syntax

Mart Lubbers requested to merge mlubbers/cloogle-web:document-e.-syntax into main

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

Merge request reports