News for hackers. Stuff that matters.
Re:Clojure 1.10 release by ska80 on Wednesday December 19, 2018 @02:49AM (#18713944)
AFAIK Idris 2 (Blodwen) as a compiler still runs on the default C-backend used by Idris 1

There are no comments on this comment yet.