Skip to content

v2023.01.14

Pre-release
Pre-release
Compare
Choose a tag to compare
@dzomo dzomo released this 13 Jan 15:36
· 595 commits to _release since this release
v2023.01.14
6a7ed5d

What's Changed

  • Some changes related to the F* core typechecker by @aseemr in #88
  • Adapting lowparse writers effect for F* PR 2760 by @aseemr in #89

Full Changelog: v2022.11.09...v2023.01.14

Contributors

aseemr
Assets 5
Loading