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:

1432004afb1c64339c18bb656c17060853e48fbc0fdfb1f9038e45f2bf8e6700