leepike / copilot-core Goto Github PK
View Code? Open in Web Editor NEWThis project forked from niswegmann/copilot-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
License: Other