Duanwu Duanwu is a Scheme interpreter writen in Idris. Compile First install lightyear and ioref. Then simply run: idris --build duanwu.ipkg, you'll get an executable file.