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

  • To access the latest version of emacs on the SOIC machines, you need to type the following at the terminal: module load emacs/24.4.
  • If you access these machines with any frequency, you should add that to your .bashrc
  • If you'd like my (Jason's) emacs setup, you can clone my emacs repository. Copy the .emacs file or create a symlink (ln -s in Linux/OS X, mklink in Windows)
  • A handy Emacs reference card for Schemers and Racketeers.
  • For Windows 7 users, you may find the following emacs24 installation instructions useful.

Vim tools

Cameron Swords (C311 course staff emeritus) uses and endorses the Vim text editor.

  • A great dot_vim.txt for writing scheme, providing pretty colors and some nice tabbing settings, etc. Remember to rename the file from dot_vim.txt to .vimrc before using it. A few other notes:
    • I bound % to q because I don't use record/play very much but I use % all the time.
    • The color scheme darkbone is optional. If you comment that line out of the .vimrc (put a in front of it), Vim's default color scheme is fine for most purposes.
    • To properly use this 256-color scheme in CLI vim, you have to install CSApprox.
  • You probably also want my custom Scheme syntax highlighting file. It needs to be renamed to scheme.vim and installed in your vim install director's syntax folder (/usr/share/vim/vim73/syntax in Arch linux).
  • And I don't use it, but Dan swears by paren matching and you might find this plugin helpful.

Lecture notes, etc., on selected topics

 

resources.txt · Last modified: 2015/03/26 19:54 by jhemann