GNU/Linux xterm-termite zsh 525 views

Demo of elba, a package manager for Idris