https://github.com/ubaldop/vagrant-idris

Vagrant template for Idris
https://github.com/ubaldop/vagrant-idris

haskell-learning idris idris-ecosystem ubuntu1604 vagrant

Last synced: about 2 months ago
JSON representation

Vagrant template for Idris

• Host: GitHub
• URL: https://github.com/ubaldop/vagrant-idris
• Owner: ubaldop
• License: apache-2.0
• Created: 2018-07-20T12:01:51.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-07-20T13:18:07.000Z (over 6 years ago)
• Last Synced: 2024-10-12T09:15:27.768Z (3 months ago)
• Topics: haskell-learning, idris, idris-ecosystem, ubuntu1604, vagrant
• Language: Shell
• Size: 8.79 KB
• Stars: 0
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project