Published October 5, 2021 | Version v3
Software Open

Type-Level Programming with Match Types Artifact


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:

  1. Install Oracle VM VirtualBox (see instructions: Downloads – Oracle VM VirtualBox)
  2. Click on the .ova file to import it into VirtualBox
  3. Start the VM, then open the file on the desktop for further instructions


Files (4.7 GB)

Name Size Download all
4.7 GB Download