repo:ck-lift
Description:
[OUTDATED] Portable/customizable installation and unified access to Lift compiler.
How to get:
ck pull repo --url=https://github.com/lift-project/ck-lift
Workflow:
reproducible paper - passed Artifact Evaluation:

Dependencies on other repositories:
How to use ]  [ ReproIndex JSON meta ]  [ repo readme ] [ repo ]