Discussions

• 1 You must be logged in to vote

  💡

  Refactor shifting in contexts

  timsueberkrueb started Jun 30, 2025 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Why lifting before typechecking is complicated

  timsueberkrueb started Mar 25, 2025 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  WIP: Lift during typechecking

  timsueberkrueb started Mar 12, 2025 in Ideas · Closed

  

  

  1