ncurses-idris icon indicating copy to clipboard operation
ncurses-idris copied to clipboard

verified publisher icon mattpolzin
→

Metadata

A hobby implementation of an ncurses binding for Idris 2

Results 1 ncurses-idris issues
Sort by recently updated
recently updated
newest added

Missing capabilities

1 comment

- Set window size/position without switching to them

mattpolzin avatar mattpolzin

← Metadata

16
Stars
3
Forks
Watchers

Owner

verified publisher icon mattpolzin

Metadata

A hobby implementation of an ncurses binding for Idris 2

Back