How to use the artifact

Requirements

VM Player: VirtualBox 5.2.18 r124319 (Qt5.6.3)
Appliance of the artifact: lambda-dti.ova
- URL: https://dl.acm.org/do/10.1145/3291628/full/

Getting Started

Download the appliance (the image of the VM)
Extract the downloaded artifact.
Import the appliance and create a VM

Click File -> Import Appliance on VirtualBox and choose lambda-dti/vm/lambda-dti.ova
A new VM will be created

Start the VM

The VM is configured to automatically login as popl user and open a terminal

Start the interpreter and try it!

Run ldti on the terminal
Try some inputs
- Input: # (fun (x:?) -> x 2) (fun y -> y);;
- Output: - : ? = 2: int => ?

Next Step

Please see ~/lambda-dti/README.md for more examples and full syntax. ~/lambda-dti/test/test_examples.ml also contains sample programs.

Remark

To rebuild the interpreter, run dune build && dune install in ~/lambda-dti/
Linux users and password
- User: root / Password: popl
- User: popl / Password: popl