4 ms·
Can you still compile to C out of the box from Idris 2? I can't seem to find that in the docs.
by pull_my_finger 4y ago
Can you still compile to C out of the box from Idris 2? I can't seem to find that in the docs.
- pjmlp 4y agoIt compiles via Scheme now, I guess you could use a Scheme to C compiler for that.