pure icon indicating copy to clipboard operation
pure copied to clipboard

Published 20 hours ago • verified publisher icon CakeML

Augment inliner to make use of annotations

Open hrutvik opened this issue 4 months ago • 0 comments

The inliner should act on user annotations specifying inlining locations.

hrutvik avatar Feb 09 '24 16:02 hrutvik