Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
Why do you think that https://github.com/leepike/copilot-libraries is a good alternative to copilot-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
Why do you think that https://github.com/leepike/copilot-libraries is a good alternative to copilot-core