pure icon indicating copy to clipboard operation
pure copied to clipboard
verified publisher icon CakeML

Augment inliner to make use of annotations

Open hrutvik opened this issue 1 year ago • 0 comments

The inliner should act on user annotations specifying inlining locations.

hrutvik avatar Feb 09 '24 16:02 hrutvik