Discussions

• 1 You must be logged in to vote

  💡

  Extensible Tables

  tiansivive started Jan 9, 2024 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Algebraic subtyping

  Typechecker Constraint Solver Liquids

  tiansivive started Dec 18, 2023 in Ideas

  

  

  3
• 1 You must be logged in to vote

  💡

  Type Modalities

  enhancement New feature or request Typechecker Constraint Solver

  tiansivive started Dec 18, 2023 in Ideas

  

  

  3
• 1 You must be logged in to vote

  💡

  Function overloading

  feature Parser Syntax

  tiansivive started Oct 4, 2023 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Monadic comprehensions

  enhancement New feature or request feature Parser Syntax

  tiansivive started Oct 4, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Typed variadic arguments

  Type Evaluation Typechecker Constraint Solver Parser Syntax

  tiansivive started Jun 15, 2023 in Ideas

  

  

  1