search

bkc39 / Coq311

A course in Functional Programming and Data Structures
GNU General Public License v2.0
2 stars 0 forks source link

Create Coq VM #1

Closed bennn closed 9 years ago

bennn commented 9 years ago

Make a virtual machine that future students can work in, no setup required. Follow the 3110 VM.

bennn commented 9 years ago

Done! http://github.com/bennn/vagrant-opam