GitHub repository: leepike/copilot-core
Primary language: Haskell
Description: Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.