This is a proof of concept project intended to implement System F using the Racket library Turnstile, then System F code into GHC Core
Shamrock-Frost/SystemF2Core
A racket #lang for System F that, after some macro expansion, is translated into GHC Core IR. Mostly proof of concept
Racket