1 Pull request merged by 1 person

• [RefC] Object Immortalization and Pre-Generation of Constants

  #3242 merged Nov 20, 2024

2 Pull requests opened by 2 people

• Add between parser combinator to Data.String.Parser

  #3414 opened Nov 17, 2024

• [ new ] Quantity for proof in with-clauses

  #3415 opened Nov 18, 2024

5 Issues opened by 1 person

• Support implicit indexes in interfaces

  #3420 opened Nov 20, 2024

• Slow typechecking interface with complex constraint

  #3419 opened Nov 20, 2024

• Cannot infer type after case in lazy lambda

  #3418 opened Nov 20, 2024

• Invalid FC of Pi-types

  #3417 opened Nov 18, 2024

• Inconsistent `%auto_lazy off` behavior

  #3416 opened Nov 18, 2024

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

• refactor Uninhabited implementation for Elem types

  #3412 commented on Nov 18, 2024 • 4 new comments

• Conditional compilation

  #1709 commented on Nov 15, 2024 • 0 new comments

• Properly report location of shadowed variable in warning

  #3408 commented on Nov 17, 2024 • 0 new comments

• `depends` subfolder doesn't compile subprojects correctly

  #3411 commented on Nov 21, 2024 • 0 new comments

• total Omega : ⊥

  #1988 commented on Nov 21, 2024 • 0 new comments

• Investigate suspicious location tracking

  #3409 commented on Nov 21, 2024 • 0 new comments

• [ refactor ] ScopedSnocList: WIP

  #3368 commented on Nov 16, 2024 • 0 new comments

• fix: help menu for `refine` command

  #3393 commented on Nov 21, 2024 • 0 new comments