Code

Require parens on dot apply#1027

Code

Merged

johnynek merged 1 commit intomasterjohnynek/bosatsu:masterfrom oscar/20230827_change_nullary_dot_applyjohnynek/bosatsu:oscar/20230827_change_nullary_dot_applyCopy head branch name to clipboardSep 2, 2023

+90-90

Commits

Commits on Aug 28, 2023

• Require parens on dot apply

  johnynek

  committed
  ae51abd