Skip to content

nightly-2024-12-16

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 16 Dec 08:35
· 1 commit to main since this release
nightly-2024-12-16
791bea0
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

Changes since nightly-2024-12-15:

Full commit log

  • 791bea0 feat: lemmas about Std.Range (#6396)
  • 5c2ef51 chore: add gitpod configuration (#6382)
  • a8656c5 feat: generalize panic to Sort (#6333)
  • a8dc619 doc: split the docstring of LocalContext (#6340)
  • 80fb404 chore: require 0 < Range.step (#6391)
  • 474adc8 feat: redefine Range.forIn' (#6390)
  • 6893913 feat: replace List.lt with List.Lex (#6379)
Assets 16
Loading