4 Pull requests opened by 3 people

• [cleanup] remove mode code

  #1553 opened Mar 7, 2025

• Use keyword

  #1554 opened Mar 7, 2025

• Dataframes as lists of tuples

  #1555 opened Mar 7, 2025

• Fix Switch Scratchpads/Exercisemodes

  #1556 opened Mar 8, 2025

3 Issues opened by 2 people

• Add a bundler/build step to package js dependencies

  #1557 opened Mar 9, 2025

• Missing static error on duplicate constructors

  #1552 opened Mar 7, 2025

• Missing static error on duplicate pattern variables

  #1551 opened Mar 7, 2025

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

• Polymorphic equality

  #1267 commented on Mar 8, 2025 • 2 new comments

• Invalid type application breaks statics throwing exception

  #1459 commented on Mar 11, 2025 • 0 new comments

• module system

  #1020 commented on Mar 10, 2025 • 0 new comments

• Derivation trees

  #1302 commented on Mar 10, 2025 • 0 new comments

• Live Projectors

  #1420 commented on Mar 12, 2025 • 0 new comments

• Parameterized Types

  #1457 commented on Mar 13, 2025 • 0 new comments

• Agentic Assistant

  #1464 commented on Mar 12, 2025 • 0 new comments

• Final tutorial sys

  #1468 commented on Mar 6, 2025 • 0 new comments

• Update dependencies staying on 5.2.0

  #1550 commented on Mar 13, 2025 • 0 new comments