Skip to content

Use uncurried mode setting for outcome printer#769

Merged
cristianoc merged 3 commits intomasterfrom
outcome_printer_uncurried
Apr 30, 2023
Merged

Use uncurried mode setting for outcome printer#769
cristianoc merged 3 commits intomasterfrom
outcome_printer_uncurried

Commits

Commits on Apr 30, 2023