Skip to content

0.17.3
Compare
Choose a tag to compare
@vekatze vekatze released this 21 Sep 02:56
· 74 commits to main since this release
0.17.3
104a517

What's Changed

  • remove unused items in import {..} only when required (for better LSP experience) by @vekatze in #207
  • make dependencies local to projects by @vekatze in #208
  • fix LSP stuff by @vekatze in #209
  • improve completion-related stuff by @vekatze in #210
  • fix: don't suppress the names of resource types when printing terms by @vekatze in #211
  • fix: impose the affine constraint on the freevars of PiIntroFix by @vekatze in #212
  • update the book by @vekatze in #213

Full Changelog: 0.17.2...0.17.3

Contributors

vekatze
Assets 5
Loading