Add GADT layer for safer GRIN generation.

grin-compiler / grin

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

https://grin-compiler.github.io/

1.03k stars 38 forks source link

Closed andorp closed 5 years ago