Issues

• copilot-core: Test property purports to test type size but instead tests type length

  CR:Status:InitiatedCR:Type:Bug
  Copilot-Language/copilot#784 · Filter by author ivanperez-keera opened on Oct 17, 2026

• copilot-core: Haddock comment for test property contains typo

  CR:Status:InitiatedCR:Type:Bug
  Copilot-Language/copilot#783 · Filter by author ivanperez-keera opened on Oct 17, 2026

• copilot-libraries: Add random stream generators

  CR:Status:ImplementationCR:Type:Feature
  Copilot-Language/copilot#766 · Filter by author ivanperez-keera opened on Oct 9, 2026 · 4.8.2
  3

  

• copilot-theorem: Remove uses of LambdaCase

  CR:Status:AcceptedCR:Type:Management
  Copilot-Language/copilot#736 · Filter by author ivanperez-keera opened on May 26, 2026
  2

• copilot: Executables lack version bounds around dependencies

  CR:Status:AcceptedCR:Type:Management
  Copilot-Language/copilot#735 · Filter by author ivanperez-keera opened on May 26, 2026
  2

• copilot-language - Unable to drop as many elements from Stream as prepended

  Copilot-Language/copilot#607 · Filter by author strikef opened on Mar 11, 2025
  2

• local streams can escape their lexical scope

  CR:Status:AcceptedCR:Type:Bug
  Copilot-Language/copilot#253 · Filter by author robdockins opened on Sep 17, 2021
  5