Copilot-core-gadt is a project mainly written in Haskell, based on the Unknown, Unknown licenses found.

The currently unused intermediate representation for CoPilot based on GADTs.