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

Issues

Create different sysf #lang which generates a core ast instead of untyped, executable code
#5 opened 8 years ago by Shamrock-Frost
1
Need internal AST representation
#4 opened 8 years ago by Shamrock-Frost
1
No global variables
#2 opened 8 years ago by Shamrock-Frost
3
No Type Aliases
#1 opened 8 years ago by Shamrock-Frost
2
No local variables
#3 opened 8 years ago by Shamrock-Frost
1