search

leanprover / reservoir

Package registry for Lean/Lake.
https://reservoir.lean-lang.org
Apache License 2.0
16 stars 1 forks source link

feat: redirect package to name w/ canonical casing #43

Closed tydeu closed 2 months ago

tydeu commented 2 months ago

Package URLs are now case insensitive. A URL with non-standard casing will direct to the canonical name. Netlify directs for aliases will also now redirect to the package's canonical casing.