Xinterp is currently linked to Xinterp-D3, which is an interpreter for assigning dynamic semantics to the D3-level syntax of ATS3/Xanadu
Ubuntu
git clone --recursive https://github.com/xanadu-lang/xinterp.git
ATS2-0.4.0 or a later version is required, which is available here
(cd xinterp && sh build.sh)
cd xinterp
./bin/xinterp -h
make -C srcgen/TEST test > output
-
Xinterp is for debugging the implementation ATS3/Xanadu
-
Xinterp is not meant to be a practical interpreter for ATS3
-
This project should be constantly under construction for quite some time