Giters

PeterHajdu / iterm

Simple tools to build interactive terminal applications.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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>

About

Simple tools to build interactive terminal applications.

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Idris 73.0%Language:C 18.7%Language:Makefile 5.4%Language:C++ 2.9%