search

idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
60 stars 7 forks source link

[ feature ] Support any codegen #12

Closed Z-snails closed 3 years ago

Z-snails commented 3 years ago

Waiting for #11. This uses Core.Options.CG from idris2 to support any idris2 supported codegen, and external codegens.

Z-snails commented 3 years ago

I have a better idea for now, as we don't support external backends yet.