Comment Comment by zelphirkalt The Idris 2 compiler is build with Chez Scheme? That's pretty cool in my opinion, didn't know that. parent zelphirkalt 6 years ago
