search

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

Idris backend TODOs #10

Open andorp opened 6 years ago

andorp commented 6 years ago