There is a newer version of the record available.

Published October 5, 2021 | Version v2
Software Open

Type-Level Programming with Match Types Artifact

Creators

  • 1. EPFL

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:

  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 README.md file on the desktop for further instructions

Files

Files (4.7 GB)

Name Size Download all
md5:797fafae62da3d3ea9f37b84c8a39ee0
4.7 GB Download