/idris-dev

Vagrant box for Idris development (WIP)

Primary LanguageShell

Watchers