Skip to content

Latest commit

 

History

History
32 lines (19 loc) · 1.23 KB

README.md

File metadata and controls

32 lines (19 loc) · 1.23 KB
Raw

Velo.

Build Status

A tiny language to explore efficient verified implementations of functional languages in Idris2.

Artefact

We also include scripts to generate a reproducible artefact.

Please consult the following project to generate the base virtual box image required, and how we approach the building of the artefact.

https://github.com/jfdm/packer-idris

You will also need to have working installations of Katla to facilitate source code highlighting.

Once you have generated the image you can generate the artefact as follows:

SOURCE_VM="<location of the base ovf>" make artefact

This will generate in artefact the following files:

  1. velo.box :: A Virtual Box virtual machine that contains Velo's source code & test suite;
  2. velo.tar.gz :: A copy of Velo's source code, and generated IdrisDoc;
  3. velo_doc.tar.gz :: A copy of the IdrisDoc for the coding project;
  4. velo_html.tar.gz :: A copy of the katla generated html showing semantically highlighted code;
  5. velo.pdf :: A copy of the submitted paper;