ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020

Resources is a framework within the dependently-typed language Idris for realising Embedded Domain Specific Languages (EDSLs) with type-systems that contain domain specific substructural properties.

We present the artefact (the complete Idris source for the framework and exemplars) within a virtual machine image that contains a working environment to interact with the framework and examples.

The virtual machine image is a Virtual Box instance packaged to work with a virtual machine management tool called Vagrant. This setup allows one to connect to the box using SSH and interact with the tooling and source using a command prompt. We also present alongside the virtual machine: the source code, html annotated source, code documentation, and a brief user guide.

The sha256sum of the linked archive is: