/SystemF2Core

A racket #lang for System F that, after some macro expansion, is translated into GHC Core IR. Mostly proof of concept

Primary LanguageRacket

This is a proof of concept project intended to implement System F using the Racket library Turnstile, then System F code into GHC Core