search

idris-community / inigo

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

Update README with code-gen info #16

Closed alexhumphreys closed 3 years ago

alexhumphreys commented 3 years ago

I think other code-gens were added in this commit https://github.com/idris-community/inigo/commit/f3d0b4805b2e95309d8f3956acae6f74b6ff8b66 So just removing the out of date note on the README.