Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
Here you can share your experience with the project you are suggesting or its comparison with copilot-core. Optional.
A valid email to send you a verification link when necessary or log in.