intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Generate \use \level

Open valis opened this issue 5 years ago • 0 comments

The signature of \use \level definitions is non-trivial, but it can be generated completely automatically.

valis avatar Feb 21 '20 20:02 valis