1 Pull request merged by 1 person

• chore: Add HLint CI action and apply hints

  #55 merged Nov 19, 2024

3 Pull requests opened by 2 people

• refactor: Rename UserName to QualName

  #56 opened Nov 19, 2024

• [refactor] Common-up in checkBody

  #57 opened Nov 22, 2024

• [refactor] vectorise: take expected mode, make return type explicit

  #58 opened Nov 22, 2024

3 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.

• Prettify global type variables for error messages

  #3 commented on Nov 20, 2024 • 0 new comments

• Multi-threaded type inference

  #41 commented on Nov 22, 2024 • 0 new comments

• feat: Human-friendly metavariable printing

  #54 commented on Nov 20, 2024 • 0 new comments