disco-lang / disco

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

Restyle Exploration of the Lower Your Guards paper #402

Closed restyled-io[bot] closed 2 months ago

restyled-io[bot] commented 2 months ago

Automated style fixes for #401, 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.