Get your feet wet with Idris