disco-lang / disco

Functional teaching language for use in a discrete mathematics course
Other
164 stars 23 forks source link

Restyle Allow combining propositions with binary operators, and rework test result reporting #366

Closed restyled-io[bot] closed 1 year ago

restyled-io[bot] commented 1 year ago

Automated style fixes for #365, created by Restyled.

The following restylers made fixes:

To incorporate these changes, merge this Pull Request into the original. We recommend using the Squash or Rebase strategies.

NOTE: As work continues on the original Pull Request, this process will re-run and update (force-push) this Pull Request with updated style fixes as necessary. If the style is fixed manually at any point (i.e. this process finds no fixes to make), this Pull Request will be closed automatically.

Sorry if this was unexpected. To disable it, see our documentation.