Resources

–>

Racket and References

Racket on SOIC Machines

  • To access Racket on the SOIC machines, you need to type the following at the terminal: module load racket.
  • If you access these machines with any frequency, you should add that to your .bashrc
  • See the following for more on modules.

Developing on Windows

  • Here is a document that helps show you how to setup a development environment on Windows 7.

Course specific libraries and tools

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.

miniKanren resources

If you're interested in miniKanren development, check out miniKanren.org!

311 miniKanren

  • The current 311-implementation of miniKanren can be found here.
  • The relational arithmetic suite can be found here.
  • You may on occasion find trace-define-mk.scm to be useful as well.

Emacs references and tools

Vim tools

Cameron Swords (C311 course staff emeritus) uses and endorses the Vim text editor. You can find his configuration for vim here

 

resources.txt · Last modified: 2015/08/25 08:29 by jhemann