jfdm/velo-lang

This is stars and forks stats for /jfdm/velo-lang repository. As of 23 Apr, 2024 this repository has 11 stars and 1 forks.

Velo. 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...