brainrake/idris-libuv-example

code example for using Idris with a libuv-based async C runtime

Idris