xinterp

An interpreter for assigning dynamic semantics to Xanadu

Download

git clone --recursive https://github.com/xanadu-lang/xinterp.git

Prerequisites

ATS2-0.4.0 or a later version is required, which is available here

Build with ATS2

(cd xinterp && sh build.sh)

Testing

cd xinterp
./bin/xinterp -h
./bin/xinterp -d TEST/kfibo.dats
./bin/xinterp -d TEST/sieve.dats

Remarks

• Xinterp is for debugging the implementation of Xanadu

• Xinterp is not meant to be a practical interpreter for Xanadu

• This project should be constantly under construction for quite some time