Search Issues

Search results

copilot-theorem: Remove uses of LambdaCase

CR:Status:AcceptedAdmin only: Change request accepted by technical lead

CR:Type:ManagementAdmin only: Change request for conformance with policies or procedures

Status: Open.

#736 In copilot-language/copilot;

· ivanperez-keera opened

on May 26, 2026

copilot: Executables lack version bounds around dependencies

CR:Status:AcceptedAdmin only: Change request accepted by technical lead

CR:Type:ManagementAdmin only: Change request for conformance with policies or procedures

Status: Open.

#735 In copilot-language/copilot;

· ivanperez-keera opened

on May 26, 2026

copilot-theorem: Copilot.Theorem.What4.Translate enables PatternSynonyms unnecessarily

CR:Status:AcceptedAdmin only: Change request accepted by technical lead

CR:Type:ManagementAdmin only: Change request for conformance with policies or procedures

Status: Open.

#733 In copilot-language/copilot;

· ivanperez-keera opened

on May 25, 2026

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

Status: Open.

#607 In copilot-language/copilot;

· strikef opened

on Mar 11, 2025

local streams can escape their lexical scope

CR:Status:AcceptedAdmin only: Change request accepted by technical lead

CR:Type:BugAdmin only: Change request pertaining to error detected

Status: Open.

#253 In copilot-language/copilot;

· robdockins opened

on Sep 17, 2021