Reproducible

Type Theory as a Workbench

Posted on 2023-02-01

idris eelco type-theory workbench reproducible

Efficient and Effective Provisioning of Virtual Machines for Artefact Evaluation

Posted on 2023-01-05

idris artifact reproducible nix