Published October 5, 2021
| Version v3
Software
Open
Type-Level Programming with Match Types Artifact
Description
This VM contains everything necessary to run the supplementary material of the "Type-Level Programming with Match Types" paper. To run this VM in VirtualBox:
- Install Oracle VM VirtualBox (see instructions: Downloads – Oracle VM VirtualBox)
- Click on the .ova file to import it into VirtualBox
- Start the VM, then open the README.md file on the desktop for further instructions
Files
Files
(4.7 GB)
Name | Size | Download all |
---|---|---|
md5:8e12af3de800939d6a2504b1b2a176cf
|
4.7 GB | Download |