Skip to content

Process @set annotation for field update as generating an uncurried…#5846

Merged
cristianoc merged 1 commit intomasterfrom
set_annotation
Nov 25, 2022

Commits

Commits on Nov 25, 2022