A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact)
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: