PLFA agda exercises

Bump sass from 1.93.3 to 1.94.0 (#1149)

Bumps sass from 1.93.3 to 1.94.0. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/sass/dart-sass/releases">sass's releases</a>.</em></p> <blockquote> <h2>Dart Sass 1.94.0</h2> <p>To install Sass 1.94.0, download one of the packages below and <a href="https://katiek2.github.io/path-doc/">add it to your PATH</a>, or see <a href="https://sass-lang.com/install">the Sass website</a> for full installation instructions.</p> <h1>Changes</h1> <ul> <li> <p><strong>Potentially breaking compatibility fix:</strong> <code>@function</code> rules whose names begin with <code>–</code> are now parsed as unknown at-rules to support the plain CSS <code>@function</code> rule. Within this rule, the <code>result</code> property is parsed as raw CSS just like custom properties.</p> </li> <li> <p><strong>Potentially breaking compatibility fix:</strong> <code>@mixin</code> rules whose names begin with <code>–</code> are now errors. These are not yet parsed as unknown at-rules because no browser currently supports CSS mixins.</p> </li> </ul> <p>See the <a href="https://github.com/sass/dart-sass/blob/master/CHANGELOG.md#1940">full changelog</a> for changes in earlier releases.</p> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://github.com/sass/dart-sass/blob/main/CHANGELOG.md">sass's changelog</a>.</em></p> <blockquote> <h2>1.94.0</h2> <ul> <li> <p><strong>Potentially breaking compatibility fix:</strong> <code>@function</code> rules whose names begin with <code>–</code> are now parsed as unknown at-rules to support the plain CSS <code>@function</code> rule. Within this rule, the <code>result</code> property is parsed as raw CSS just like custom properties.</p> </li> <li> <p><strong>Potentially breaking compatibility fix:</strong> <code>@mixin</code> rules whose names begin with <code>–</code> are now errors. These are not yet parsed as unknown at-rules because no browser currently supports CSS mixins.</p> </li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/sass/dart-sass/commit/bfccce8075790047cf910c65b7b769f90fdd1883"><code>bfccce8</code></a> Parse selectors in the sass-parser package (<a href="https://redirect.github.com/sass/dart-sass/issues/2670">#2670</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/795557c8ccb4a126c6711d018809f3381014a106"><code>795557c</code></a> Add support for plain-CSS <code>@function</code> rules (<a href="https://redirect.github.com/sass/dart-sass/issues/2655">#2655</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/2c9d3c8e21e7ad836f1b81d77be4c9964e555c85"><code>2c9d3c8</code></a> Track offsets instead of locations in InterpolationMap (<a href="https://redirect.github.com/sass/dart-sass/issues/2674">#2674</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/d8d7f9c33fced28eab74533cf6d8e972f3a6c80d"><code>d8d7f9c</code></a> Add a separate <code>StylesheetParser.interpolatedStringToken()</code> method (<a href="https://redirect.github.com/sass/dart-sass/issues/2675">#2675</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/9d68793364be7d525d0caca3edf4aa1382811942"><code>9d68793</code></a> Make sure all source spans use interpolation maps (<a href="https://redirect.github.com/sass/dart-sass/issues/2673">#2673</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/20a59ee9ecdc4cb58ba9753d03a75ffaab981782"><code>20a59ee</code></a> Update release workflows to support npm trusted publshing (<a href="https://redirect.github.com/sass/dart-sass/issues/2669">#2669</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/10442abfc2f893fb1c5ce1d24de6f374c1439efa"><code>10442ab</code></a> Bump actions/download-artifact from 5 to 6 (<a href="https://redirect.github.com/sass/dart-sass/issues/2664">#2664</a>)</li> <li><a href="https://github.com/sass/dart-sass/commit/9d40aba46a20c5ffefef7fb7cc2828cded92033a"><code>9d40aba</code></a> Bump actions/upload-artifact from 4 to 5 (<a href="https://redirect.github.com/sass/dart-sass/issues/2665">#2665</a>)</li> <li>See full diff in <a href="https://github.com/sass/dart-sass/compare/1.93.3…1.94.0">compare view</a></li> </ul> </details> <details> <summary>Maintainer changes</summary> <p>This version was pushed to npm by [GitHub Actions](<a href="https://www.npmjs.com/~GitHub">https://www.npmjs.com/~GitHub</a> Actions), a new releaser for sass since your current version.</p> </details> <br />

<details> <summary>Most Recent Ignore Conditions Applied to This Pull Request</summary>

Dependency NameIgnore Conditions
sass[< 1.55, > 1.54.0]
</details>

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


<details> <summary>Dependabot commands and options</summary> <br />

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show &lt;dependency name&gt; ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

</details>

Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Created by  dependabot[bot]  on November 17, 2025
47FNOJXI7HZ3DTKHV7CKHR43EXESM2DPUHWX47CK6C7IPTKZQFIAC
Change contents