1 Release published by 1 person

• trunk-build Development Build (trunk)

  published Apr 25, 2025

1 Pull request merged by 1 person

• Hover info for local bindings

  #4969 merged Apr 25, 2025

4 Pull requests opened by 3 people

• Report internal errors more clearly

  #5661 opened Apr 23, 2025

• LSP Jump to Definition for LOCAL bindings

  #5663 opened Apr 25, 2025

• Warn about suspected quadratic behavior in handlers

  #5664 opened Apr 25, 2025

• Attempt to improve function under-application and over-application errors

  #5665 opened Apr 25, 2025

2 Issues closed by 2 people

• Ambiguous names in case statements cause "duplicate rename" error

  #3625 closed Apr 24, 2025

• Output of docs command is confusing when linked term is not Doc-typed

  #1052 closed Apr 24, 2025

2 Issues opened by 1 person

• quote syntax in Doc literals

  #5662 opened Apr 25, 2025

• Capturing bind with symbolic name doesn't work in ability constructor match

  #5660 opened Apr 22, 2025

5 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• weird typechecker behavior

  #5659 commented on Apr 19, 2025 • 0 new comments

• Extensible records

  #3845 commented on Apr 21, 2025 • 0 new comments

• dangling hashes in codebase after merge

  #5643 commented on Apr 24, 2025 • 0 new comments

• Fix the Ormolu auto-format GH workflow step

  #5641 commented on Apr 22, 2025 • 0 new comments

• Limit maximum amount of negotiating done before starting a sync, and show negotiation progress

  #5653 commented on Apr 25, 2025 • 0 new comments