About Simple tools to build interactive terminal applications. Compile and install idris --build iterm.ipkg idris --install iterm.ipkg Usage idris -p iterm Main.idr -o <exec>