Setting up racket for CS3613

Installing the PL dialect

Download pl.plt
You can check the sha256 checksum by downloading pl.plt.sha256 and running sha256sum -c pl.plt.sha256. There is also a gpg signed version: pl.plt.sha256.asc See gpg-hints for more information.
Install it using either raco setup -A pl.plt or the DrRacket file menu. In the latter case. In the latter case you should then restart DrRacket.
If you have trouble switching in "Install PLT" widget from a URL to a local file to install, hit cancel and try again. You can also type http://tesseract.cs.unb.ca/pl/pl.plt directly into the URL box.
In the FCS lab, raco is not (yet) in the default path. You can run /fcs/bin/raco/setup -A pl.plt
After the first install, you can install updated versions of pl.plt the same way, or choose "update PL plugin" from the file menu in DrRacket
Run the following test code

   
#lang pl

(define-type Fruit
  [Oranges Integer]
  [Apples Integer])

(test (cases (Apples 10)
        [(Apples i) i]
        [else #f])  => 10)