GNU/Linux ◆ xterm-termite ◆ zsh 419 views

Demo of elba, a package manager for Idris