Issues

• List of buggy programs

  high prioritytracking
  dijkstracula/solvent#27 · Filter by author sgpthomas opened on Jul 29, 2023

• Implement LUB on types during forward type annotation

  dijkstracula/solvent#26 · Filter by author sgpthomas opened on Jul 29, 2023

• Implement Parsing for Class definitions

  enhancementlow priority
  dijkstracula/solvent#25 · Filter by author sgpthomas opened on Jul 29, 2023

• Rewrite ScopedEnvVisitor and migrate passed to it

  enhancementlow priority
  dijkstracula/solvent#24 · Filter by author sgpthomas opened on Jul 29, 2023

• Normalize binary ops into function calls

  low priority
  dijkstracula/solvent#23 · Filter by author sgpthomas opened on Jul 27, 2023 · Get `norm` working

• How to deal with Series masks

  dijkstracula/solvent#22 · Filter by author sgpthomas opened on Jul 27, 2023 · Get `norm` working

• Implement a type abstraction type

  enhancementlow priority
  dijkstracula/solvent#18 · Filter by author sgpthomas opened on Jun 29, 2023 · Get `norm` working

• Insert dynamic checks

  v2
  dijkstracula/solvent#14 · Filter by author sgpthomas opened on Jun 7, 2023

• Simplify refinements whenever possible

  enhancementlow priority
  dijkstracula/solvent#9 · Filter by author sgpthomas opened on May 31, 2023
  1