Issues

• Say and N more when the refinement list of a typed hole is cut

  enhancementgood first issue
  simontreanor/Pyfun#139 · Filter by author simontreanor opened on Sep 28, 2026

• Explain that a function returns its last expression when return appears outside a CE

  enhancementgood first issue
  simontreanor/Pyfun#138 · Filter by author simontreanor opened on Sep 28, 2026

• Suggest let when a definition starts with def

  enhancementgood first issue
  simontreanor/Pyfun#137 · Filter by author simontreanor opened on Sep 28, 2026

• Say and/or when someone writes && or ||

  enhancementgood first issue
  simontreanor/Pyfun#136 · Filter by author simontreanor opened on Sep 28, 2026

• Point Python builtins like len at their Pyfun module

  enhancementgood first issue
  simontreanor/Pyfun#135 · Filter by author simontreanor opened on Sep 28, 2026

• Hint List.concat when two lists are added with +

  enhancementgood first issue
  simontreanor/Pyfun#134 · Filter by author simontreanor opened on Sep 28, 2026

• Hint String.repeat when a string is multiplied

  enhancementgood first issue
  simontreanor/Pyfun#133 · Filter by author simontreanor opened on Sep 28, 2026

• Teching material

  simontreanor/Pyfun#128 · Filter by author tim-hardcastle opened on Sep 1, 2026
  1