Hacker News Reader

Can you still compile to C out of the box from Idris 2? I can't seem to find that in the docs.

It compiles via Scheme now, I guess you could use a Scheme to C compiler for that.