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>