productprocedure written three ways: in accumulator-passing style, in continuation-passing style, and in direct style using
We have provided a suite of test cases your interpreter must pass. To run these tests, you must download the C311.zip archive do the following:
1. Download and unzip the C311 course archive to a directory named C311 in a permanent location, (e.g. ~/C311). 2. In that parent directory, (e.g. ~) run ''raco link'' to that directory (e.g. ''raco link ~/C311''). 3. Upon doing so, you should be able to use our tools within Racket.
You may also find useful the following pmatch documentation.
If you're interested in miniKanren development, check out miniKanren.org!
module load emacs.
.emacsfile or create a symlink (
ln -sin Linux/OS X,