Giters

ethercrow / curses-idris

Curses bindings package for Idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

curses-idris

Curses bindings package for Idris

#Installation

To install, simply run

make install

About

Curses bindings package for Idris

License:MIT License

Languages

Language:Idris 98.1%Language:C 1.5%Language:Makefile 0.4%